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 30852 59a422908e29
parent 30467 afd0e5095c6b
child 33211 68e5b26cc140 
--- a/doc/Contents	Thu Apr 02 14:09:41 2009 +0200
+++ b/doc/Contents	Thu Apr 02 14:30:16 2009 +0200
@@ -13,7 +13,7 @@
   implementation  The Isabelle/Isar Implementation Manual
   system          The Isabelle System Manual
 
-Old Manuals (outdated!)
+Old Manuals (outdated)
   intro           Old Introduction to Isabelle
   ref             Old Isabelle Reference Manual
   logics          Isabelle's Logics: overview and misc logics
isabelle