Changes between Version 22 and Version 23 of WikiStart
- Timestamp:
- Sep 4, 2009, 12:20:14 PM (15 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
WikiStart
v22 v23 24 24 25 25 * See tickets for [query:status=new|accepted|assigned|reopened&milestone=PG-Eclipse-1.0.6 Proof General Eclipse version 1.0.6] 26 * See tickets for [query:status=new|accepted|assigned|reopened& col=changetime&milestone=PG-Emacs-4.0 Proof General Emacs version 4.0]26 * See tickets for [query:status=new|accepted|assigned|reopened&milestone=PG-Emacs-4.0 Proof General Emacs version 4.0] 27 27 28 28 == Pointers ==