Timeline



May 11, 2010:

11:27 PM Ticket #322 (Isabelle: "error in process filter: Wrong number of arguments" when ...) closed by RafalKolanski
invalid: Not a PG bug. This turned out to be a problem with CVS somehow …

Mar 29, 2010:

4:04 AM Ticket #322 (Isabelle: "error in process filter: Wrong number of arguments" when ...) created by RafalKolanski
When using the tracing function in an ML block, Proof General …
Note: See TracTimeline for information about the timeline view.