Milestone PG-Emacs-4.0

Completed 13 years ago (Oct 10, 2010, 11:36:42 PM)

100%

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

2:pg-emacs

96 / 96

6:web-and-docs

1 / 1

7:prover-coq

8 / 8

Proof General 4.0 will only support GNU Emacs, version 23.

Note: See TracRoadmap for help on using the roadmap.