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/Tools/doc.scala
changeset 56276 9e2d5e3debd3
parent 54690 cd88b44623bf
child 56422 7490555d7dff 
--- a/src/Pure/Tools/doc.scala	Tue Mar 25 13:18:10 2014 +0100
+++ b/src/Pure/Tools/doc.scala	Tue Mar 25 14:52:35 2014 +0100
@@ -61,7 +61,8 @@
         "src/HOL/ex/Seq.thy",
         "src/HOL/ex/ML.thy",
         "src/HOL/Unix/Unix.thy",
-        "src/HOL/Isar_Examples/Drinker.thy")
+        "src/HOL/Isar_Examples/Drinker.thy",
+        "src/Tools/SML/Examples.thy")
     Section("Examples") :: names.map(name => text_file(name).get)
   }
isabelle