src/Doc/ROOT
changeset 62154 b855771b3979
parent 62013 92a2372a226b
child 62242 a4e6ea45f416
     1.1 --- a/src/Doc/ROOT	Tue Jan 12 15:43:26 2016 +0100
     1.2 +++ b/src/Doc/ROOT	Tue Jan 12 19:58:17 2016 +0100
     1.3 @@ -207,15 +207,19 @@
     1.4      "bibtex-mode.png"
     1.5      "build"
     1.6      "cite-completion.png"
     1.7 +    "isabelle-jedit-hdpi.png"
     1.8      "isabelle-jedit.png"
     1.9 -    "isabelle-jedit-hdpi.png"
    1.10 +    "markdown-document.png"
    1.11 +    "ml-debugger.png"
    1.12 +    "output-and-state.png"
    1.13 +    "output-including-state.png"
    1.14      "output.png"
    1.15 -    "query.png"
    1.16      "popup1.png"
    1.17      "popup2.png"
    1.18 +    "query.png"
    1.19      "root.tex"
    1.20 +    "sidekick-document.png"
    1.21      "sidekick.png"
    1.22 -    "sidekick-document.png"
    1.23      "sledgehammer.png"
    1.24      "theories.png"
    1.25