Changes between Version 26 and Version 27 of WikiStart


Ignore:
Timestamp:
Mar 11, 2011, 1:13:03 PM (9 years ago)
Author:
David Aspinall
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v26 v27  
    1515Login is necessary to avoid automated spamming.
    1616
     17
     18'''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.
     19
     20'''MARCH 2011''': registration is temporarily disabled to prevent spam attacks.  Please use a generic
     21account ("coquser" or "isabelleuser") for now.
     22
    1723Thanks!
    1824
    1925''-- Proof General Developers''
    20 
    21 '''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.
    2226
    2327== Current Attention: PG Eclipse 1.0.6 and Emacs Proof General 4.1 ==