Changes between Version 28 and Version 29 of WikiStart

Timestamp:

Sep 14, 2012, 4:51:20 PM (12 years ago)

Author:

David Aspinall

Comment:

--

WikiStart

@@ -11 +11 @@
 (e.g., which version of Emacs or Eclipse, and which version of Isabelle, Coq, etc).
 
-To login, you need to [http://proofgeneral.inf.ed.ac.uk/trac/register register] your own account, or use
-a generic account (hint: name of your preferred proof assistant followed by "user", with the same password).
-Login is necessary to avoid automated spamming.
+To login, you to use a generic account (hint: name of your preferred proof assistant followed by "user", with the same password: e.g. "coquser", "isabelleuser" etc).
 
+Login is necessary to avoid automated spamming.  Account creation and email sending has been disabled for the same reason, unfortunately.
 
-'''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.
-
-'''MARCH 2011''': registration is temporarily disabled to prevent spam attacks.  Please use a generic
-account ("coquser" or "isabelleuser") for now. 
 
 Thanks!