Changes between Version 29 and Version 30 of WikiStart


Ignore:
Timestamp:
Sep 14, 2012, 4:51:45 PM (12 years ago)
Author:
David Aspinall
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v29 v30  
    1111(e.g., which version of Emacs or Eclipse, and which version of Isabelle, Coq, etc).
    1212
    13 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).
     13To login, you must use a generic account (hint: name of your preferred proof assistant followed by "user", with the same password: e.g. "coquser", "isabelleuser" etc).
    1414
    1515Login is necessary to avoid automated spamming.  Account creation and email sending has been disabled for the same reason, unfortunately.