Changes between Version 15 and Version 16 of WikiStart


Ignore:
Timestamp:
Jul 10, 2008, 11:14:03 PM (16 years ago)
Author:
David Aspinall
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v15 v16  
    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 problems, web and docs ==
     23== Current Attention: Proof General 3.7 patch release ==
    2424
    2525 * See tickets for [query:status=new|assigned|reopened&milestone=PG-Emacs-3.7.1 Proof General Emacs version 3.7.1]
    26  * Please add notes for compatibility success/failure at http://proofgeneral.inf.ed.ac.uk/wiki/PG/PGEmacsCompatibility
     26 * See tickets for [query:status=new|assigned|reopened&milestone=PG-Emacs-3.7.1 Proof General Emacs version 3.7.2]
    2727 
    2828== Next Attention: PG Eclipse 1.0.6 release ==