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 54331 9e944630be0c
parent 54017 2a3c07f49615
child 54354 4e6defdc24ac 
--- a/src/Doc/ROOT	Sat Oct 12 19:00:59 2013 +0200
+++ b/src/Doc/ROOT	Sat Oct 12 19:41:59 2013 +0200
@@ -148,16 +148,19 @@
   theories
     JEdit
   files
-    "../prepare_document"
     "../IsarRef/document/style.sty"
+    "../extra.sty"
+    "../iman.sty"
+    "../isar.sty"
+    "../manual.bib"
     "../pdfsetup.sty"
-    "../iman.sty"
-    "../extra.sty"
-    "../isar.sty"
+    "../prepare_document"
     "../ttbox.sty"
     "../underscore.sty"
-    "../manual.bib"
     "document/build"
+    "document/isabelle-jedit.png"
+    "document/popup1.png"
+    "document/popup2.png"
     "document/root.tex"
 
 session LaTeXsugar (doc) in "LaTeXsugar" = HOL +
isabelle