Changes between Version 33 and Version 34 of WikiStart


Ignore:
Timestamp:
Apr 16, 2013, 1:05:19 PM (11 years ago)
Author:
David Aspinall
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v33 v34  
    2727== Suspended project: Proof General Eclipse ==
    2828
    29  * See tickets for [query:status=new|accepted|assigned|reopened&component=1%3Apg-eclipse Proof General Eclipse]
     29 * See tickets for [query:status=new|accepted|assigned|reopened&component=1:pg-eclipse Proof General Eclipse]
    3030
    3131== Emacs issues affecting Proof General ==