Changes between Version 12 and Version 13 of WikiStart

Timestamp:

Apr 9, 2008, 9:02:06 PM (16 years ago)

Author:

David Aspinall

Comment:

--

WikiStart

@@ -5 +5 @@
 
  1. [http://proofgeneral.inf.ed.ac.uk/trac/search search] to see if it has already been reported;
- 1. if not, or if you have something to add, [http://proofgeneral.inf.ed.ac.uk/trac/register register] to use trac (apologies: necessary to avoid spam) and then create a ticket using "New Ticket" from the toolbar.
+ 1. if not, or if you have something to add, [http://proofgeneral.inf.ed.ac.uk/trac/login login] to use trac and make a ticket using the [http://proofgeneral.inf.ed.ac.uk/trac/newticket "New Ticket"] button.
 
 Please try to select the right components/version for your report and, in the case
 of bugs, say exactly which platform and external software versions you're using
 (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.
 
 Thanks!