Completed 14 years ago (Oct 10, 2010, 11:36:42 PM)
100%
Total number of tickets: 105 - closed: 105 - active: 0
96 / 96
1 / 1
8 / 8
Proof General 4.0 will only support GNU Emacs, version 23.