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 62154 b855771b3979
parent 62013 92a2372a226b
child 62242 a4e6ea45f416 
--- a/src/Doc/ROOT	Tue Jan 12 15:43:26 2016 +0100
+++ b/src/Doc/ROOT	Tue Jan 12 19:58:17 2016 +0100
@@ -207,15 +207,19 @@
     "bibtex-mode.png"
     "build"
     "cite-completion.png"
+    "isabelle-jedit-hdpi.png"
     "isabelle-jedit.png"
-    "isabelle-jedit-hdpi.png"
+    "markdown-document.png"
+    "ml-debugger.png"
+    "output-and-state.png"
+    "output-including-state.png"
     "output.png"
-    "query.png"
     "popup1.png"
     "popup2.png"
+    "query.png"
     "root.tex"
+    "sidekick-document.png"
     "sidekick.png"
-    "sidekick-document.png"
     "sledgehammer.png"
     "theories.png"
isabelle