src/Doc/ROOT
changeset 60255 0466bd194d74
parent 59405 4a0b34ef0563
child 60288 d7f636331176
     1.1 --- a/src/Doc/ROOT	Mon May 04 19:55:30 2015 +0200
     1.2 +++ b/src/Doc/ROOT	Mon May 04 20:05:50 2015 +0200
     1.3 @@ -183,7 +183,9 @@
     1.4      "style.sty"
     1.5    document_files
     1.6      "auto-tools.png"
     1.7 +    "bibtex-mode.png"
     1.8      "build"
     1.9 +    "cite-completion.png"
    1.10      "isabelle-jedit.png"
    1.11      "output.png"
    1.12      "query.png"
    1.13 @@ -191,6 +193,7 @@
    1.14      "popup2.png"
    1.15      "root.tex"
    1.16      "sidekick.png"
    1.17 +    "sidekick-document.png"
    1.18      "sledgehammer.png"
    1.19      "theories.png"
    1.20