Changes between Version 19 and Version 20 of WikiStart


Ignore:
Timestamp:
Jul 24, 2008, 10:08:18 AM (16 years ago)
Author:
David Aspinall
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v19 v20  
    2121'''Please note''': for security reasons, email sending is currently disabled on this Trac installation, so you will not receive email alerts for bug reports automatically.  Our apologies for this.
    2222
    23 == Current Attention: Proof General 3.7 patch release ==
    24 
    25  * See tickets for [query:status=new|assigned|reopened&milestone=PG-Emacs-3.7.1 Proof General Emacs version 3.7.1]
    26  
    27 == Next Attention: PG Eclipse 1.0.6 and Emacs Proof General 4.0 ==
     23== Current Attention: PG Eclipse 1.0.6 and Emacs Proof General 4.0 ==
    2824
    2925 * See tickets for [query:status=new|assigned|reopened&milestone=PG-Eclipse-1.0.6 Proof General Eclipse version 1.0.6]