Changes between Version 26 and Version 27 of WikiStart
- Timestamp:
- Mar 11, 2011, 1:13:03 PM (13 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
WikiStart
v26 v27 15 15 Login is necessary to avoid automated spamming. 16 16 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 21 account ("coquser" or "isabelleuser") for now. 22 17 23 Thanks! 18 24 19 25 ''-- 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.22 26 23 27 == Current Attention: PG Eclipse 1.0.6 and Emacs Proof General 4.1 ==