Changes between Version 1 and Version 2 of InterMapTxt

Timestamp:

Jul 20, 2007, 11:38:45 AM (17 years ago)

Author:

Graham Dutton

Comment:

--

InterMapTxt

@@ -65 +65 @@
 WhoIs            http://www.whois.sc/
 Why              http://clublet.com/c/c/why?
-c2Wiki             http://c2.com/cgi/wiki?
+c2Wiki           http://c2.com/cgi/wiki?
 WikiPedia        http://en.wikipedia.org/wiki/
+
+# Proof General wiki for convenience
+PGWiki           http://proofgeneral.inf.ed.ac.uk/wiki/Main/
 }}}