Changes between Version 17 and Version 18 of WikiStart


Ignore:
Timestamp:
Jul 12, 2008, 3:12:46 PM (16 years ago)
Author:
David Aspinall
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v17 v18  
    2424
    2525 * See tickets for [query:status=new|assigned|reopened&milestone=PG-Emacs-3.7.1 Proof General Emacs version 3.7.1]
    26  * See tickets for [query:status=new|assigned|reopened&milestone=PG-Emacs-3.7.2 Proof General Emacs version 3.7.2]
    2726 
    28 == Next Attention: PG Eclipse 1.0.6 release ==
     27== Next Attention: PG Eclipse 1.0.6 and Emacs Proof General 4.0 ==
    2928
    3029 * See tickets for [query:status=new|assigned|reopened&milestone=PG-Eclipse-1.0.6 Proof General Eclipse version 1.0.6]
     30 * 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
    3133
    3234== Pointers ==