Changes between Version 10 and Version 11 of WikiStart


Ignore:
Timestamp:
Feb 1, 2008, 12:16:20 AM (16 years ago)
Author:
David Aspinall
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v10 v11  
    1515''-- Proof General Developers''
    1616
    17 '''Please note''': email sending is currently disabled on this Trac installation, so you will not receive email
    18 alerts for bug reports automatically.  Our apologies for this.
     17'''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.
    1918
    20 == Current Attention: Proof General 3.7 release ==
     19== Current Attention: Proof General 3.7 problems, web and docs ==
    2120
    22  * See tickets for [query:status=new|assigned|reopened&milestone=PG-Emacs-3.7 Proof General Emacs version 3.7]
     21 * See tickets for [query:status=new|assigned|reopened&milestone=PG-Emacs-3.7.1 Proof General Emacs version 3.7.1]
    2322 * Please add an entry at http://proofgeneral.inf.ed.ac.uk/wiki/Main/PGEmacsCompatibility
    2423 
     24== Next Attention: PG Eclipse 1.0.6 release ==
     25
     26 * See tickets for [query:status=new|assigned|reopened&milestone=PG-Eclipse-1.0.6 Proof General Eclipse version 1.0.6]
     27
    2528== Pointers ==
    2629