src/Doc/ROOT
changeset 57312 afbc20986435
parent 57083 5c26000e1042
child 57330 d8a64a4cbfca
     1.1 --- a/src/Doc/ROOT	Thu Jun 05 10:54:00 2014 +0200
     1.2 +++ b/src/Doc/ROOT	Fri Jun 06 12:10:33 2014 +0200
     1.3 @@ -180,9 +180,9 @@
     1.4    document_files
     1.5      "auto-tools.png"
     1.6      "build"
     1.7 -    "find.png"
     1.8      "isabelle-jedit.png"
     1.9      "output.png"
    1.10 +    "query.png"
    1.11      "popup1.png"
    1.12      "popup2.png"
    1.13      "root.tex"