Changes between Version 20 and Version 21 of WikiStart


Ignore:
Timestamp:
Sep 4, 2009, 12:17:37 PM (15 years ago)
Author:
David Aspinall
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v20 v21  
    2323== Current Attention: PG Eclipse 1.0.6 and Emacs Proof General 4.0 ==
    2424
    25  * See tickets for [query:status=new|assigned|reopened&milestone=PG-Eclipse-1.0.6 Proof General Eclipse version 1.0.6]
    26  * See tickets for [query:status=new|assigned|reopened&milestone=PG-Emacs-4.0 Proof General Emacs version 4.0]
     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&milestone=PG-Emacs-4.0 Proof General Emacs version 4.0]
    2727
    2828== Pointers ==