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/Doc/ROOT
changeset 57083 5c26000e1042
parent 56825 8872e0776e97
child 57312 afbc20986435 
--- a/src/Doc/ROOT	Sat May 24 19:15:04 2014 +0200
+++ b/src/Doc/ROOT	Sat May 24 20:07:26 2014 +0200
@@ -406,8 +406,8 @@
     "Sets/Relations"
     "Sets/Recur"
   document_files (in "ToyList")
-    "ToyList1"
-    "ToyList2"
+    "ToyList1.txt"
+    "ToyList2.txt"
   document_files (in "..")
     "pdfsetup.sty"
     "ttbox.sty"
isabelle