Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
more uniform title, follow-up to 928cb8b35e6e;
authorwenzelm
Fri, 23 Nov 2012 15:08:44 +0100
changeset 50174 fe84e830866e
parent 50173 e014009fbd93
child 50175 b27cf0646080
more uniform title, follow-up to 928cb8b35e6e;
doc/Contents file | annotate | diff | comparison | revisions 
--- a/doc/Contents	Fri Nov 23 13:46:01 2012 +0100
+++ b/doc/Contents	Fri Nov 23 15:08:44 2012 +0100
@@ -1,4 +1,4 @@
-Miscellaneous tutorials
+Tutorials
   prog-prove      Programming and Proving in Isabelle/HOL
   tutorial        Tutorial on Isabelle/HOL
   locales         Tutorial on Locales
isabelle