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.
doc/Contents
changeset 30118 df610709eda5
parent 29747 bab2371e0348
child 30242 aea5d7fa7ef5 
--- a/doc/Contents	Thu Feb 26 20:03:32 2009 +0100
+++ b/doc/Contents	Thu Feb 26 20:09:14 2009 +0100
@@ -13,8 +13,8 @@
   system          The Isabelle System Manual
 
 Old Manuals (outdated!)
-  intro           Introduction to Isabelle
-  ref             The Isabelle Reference Manual
+  intro           Old Introduction to Isabelle
+  ref             Old Isabelle Reference Manual
   logics          Isabelle's Logics: overview and misc logics
   logics-HOL      Isabelle's Logics: HOL
   logics-ZF       Isabelle's Logics: FOL and ZF
isabelle