Changes between Version 18 and Version 19 of WikiStart


Ignore:
Timestamp:
Jul 19, 2008, 4:29:34 PM (16 years ago)
Author:
David Aspinall
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v18 v19  
    2929 * See tickets for [query:status=new|assigned|reopened&milestone=PG-Eclipse-1.0.6 Proof General Eclipse version 1.0.6]
    3030 * See tickets for [query:status=new|assigned|reopened&milestone=PG-Emacs-4.0 Proof General Emacs version 4.0]
    31  * Note: tickets for [query:status=new|assigned|reopened&milestone=PG-Emacs-3.7.2 Proof General Emacs version 3.7.2] may
    32    be moved to 4.0
    3331
    3432== Pointers ==