Changes between Version 31 and Version 32 of WikiStart


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

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v31 v32  
    2525 * See tickets for [query:status=new|accepted|assigned|reopened&milestone=PG-Emacs-4.3 Proof General Emacs version 4.3]
    2626
    27 == Suspended project: Proof General Eclipse 1.0.6 ==
     27== Suspended project: Proof General Eclipse ==
    2828
    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]
    3030
    3131== Emacs issues affecting Proof General ==