Timeline



Aug 29, 2015:

11:18 AM Ticket #507 (PG for Coq does not interpret quotes within comments like Coq does) created by coquser
In a file containing e.g.: (* " *) Definition z := 0. (* " *) Proof …

Jun 3, 2015:

5:49 PM Ticket #506 (Please add Proof IDE support to emacs PG) created by Generic Isabelle user
The tty mode has been dropped in Isabelle 2015. So in order for PG to …
Note: See TracTimeline for information about the timeline view.