Milestone PG-Emacs-3.7

Completed 16 years ago (Jan 31, 2008, 11:50:46 PM)

100%

Total number of tickets: 39 - closed: 39 - active: 0

2:pg-emacs

31 / 31
4:prover-isabelle

5 / 5
6:web-and-docs

2 / 2
7:prover-coq

1 / 1

Next PG release aimed to coincide with Isabelle2007. Isabelle2005 back compatibility. Stability for Coq 8.1/Coq CVS. Current common Emacs versions compatibility: XEmacs 21.4.20, 21.5.27 (beta!) and GNU Emacs 21.4.1, CVS head of Unicode-2 branch (for Mac OS X native CarbonEmacs).

Note: See TracRoadmap for help on using the roadmap.