Milestone PG-Emacs-3.7.1

Completed 16 years ago (Jul 23, 2008, 3:03:53 PM)

100%

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

2:pg-emacs

24 / 24

Compatibility patches raised for PG 3.7. Next round of prover updates in Coq and Isabelle CVS.

Note: See TracRoadmap for help on using the roadmap.