Timeline
Jun 28, 2010:
- 8:44 AM Ticket #290 (Undo and delete for token input don't behave as expected) closed by
- fixed: Fixed, for now. Added some key bindings to delete tokens and undo …
Jun 27, 2010:
- 1:57 PM Ticket #321 (Retract buffer broken) closed by
- needmoreinfo: Can't reproduce this without a concrete example. I am seeing sync …
May 11, 2010:
- 11:27 PM Ticket #322 (Isabelle: "error in process filter: Wrong number of arguments" when ...) closed by
- invalid: Not a PG bug. This turned out to be a problem with CVS somehow …
Note: See TracTimeline
for information about the timeline view.