Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/ProofGeneral/README
changeset 21867 8750fbc28d5c
parent 21637 a7b156c404e2
child 22160 27cdecde8c2b 
--- a/src/Pure/ProofGeneral/README	Sat Dec 16 20:27:56 2006 +0100
+++ b/src/Pure/ProofGeneral/README	Sun Dec 17 22:43:50 2006 +0100
@@ -31,6 +31,7 @@
 For the full PGIP schema and an explanation of it, see:
 
    http://proofgeneral.inf.ed.ac.uk/kit
+   http://proofgeneral.inf.ed.ac.uk/wiki/Main/PGIP
 
 David Aspinall, Dec. 2006.
 $Id$
isabelle