Changes between Version 32 and Version 33 of WikiStart
- Timestamp:
- Apr 16, 2013, 1:04:13 PM (11 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
WikiStart
v32 v33 27 27 == Suspended project: Proof General Eclipse == 28 28 29 * See tickets for [query:status=new|accepted|assigned|reopened&component= pg-eclipse Proof General Eclipse]29 * See tickets for [query:status=new|accepted|assigned|reopened&component=1%3Apg-eclipse Proof General Eclipse] 30 30 31 31 == Emacs issues affecting Proof General ==