Changes between Version 31 and Version 32 of WikiStart
- Timestamp:
- Apr 16, 2013, 1:03:35 PM (11 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
WikiStart
v31 v32 25 25 * See tickets for [query:status=new|accepted|assigned|reopened&milestone=PG-Emacs-4.3 Proof General Emacs version 4.3] 26 26 27 == Suspended project: Proof General Eclipse 1.0.6==27 == Suspended project: Proof General Eclipse == 28 28 29 * See tickets for [query:status=new|accepted|assigned|reopened& milestone=PG-Eclipse-1.0.6 Proof General Eclipse version 1.0.6]29 * See tickets for [query:status=new|accepted|assigned|reopened&component=pg-eclipse Proof General Eclipse] 30 30 31 31 == Emacs issues affecting Proof General ==