Changes between Version 21 and Version 22 of WikiStart


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

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v21 v22  
    2424
    2525 * 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]
     26 * See tickets for [query:status=new|accepted|assigned|reopened&col=changetime&milestone=PG-Emacs-4.0 Proof General Emacs version 4.0]
    2727
    2828== Pointers ==