src/Doc/ROOT
changeset 52741 c08bd0a219f8
parent 52552 0260bdba4dd7
child 52742 e7296939fec2
     1.1 --- a/src/Doc/ROOT	Sat Jul 27 21:01:35 2013 +0200
     1.2 +++ b/src/Doc/ROOT	Sat Jul 27 21:10:18 2013 +0200
     1.3 @@ -124,7 +124,6 @@
     1.4      "../underscore.sty"
     1.5      "../manual.bib"
     1.6      "document/build"
     1.7 -    "document/isar-vm.eps"
     1.8      "document/isar-vm.pdf"
     1.9      "document/isar-vm.svg"
    1.10      "document/root.tex"
    1.11 @@ -227,7 +226,6 @@
    1.12    files
    1.13      "../prepare_document"
    1.14      "../pdfsetup.sty"
    1.15 -    "document/bang.eps"
    1.16      "document/bang.pdf"
    1.17      "document/build"
    1.18      "document/intro-isabelle.tex"
    1.19 @@ -267,7 +265,6 @@
    1.20      "../ttbox.sty"
    1.21      "../underscore.sty"
    1.22      "../manual.bib"
    1.23 -    "document/browser_screenshot.eps"
    1.24      "document/browser_screenshot.png"
    1.25      "document/build"
    1.26      "document/root.tex"
    1.27 @@ -347,10 +344,8 @@
    1.28      "document/fp.tex"
    1.29      "document/inductive0.tex"
    1.30      "document/isa-index"
    1.31 -    "document/Isa-logics.eps"
    1.32      "document/Isa-logics.pdf"
    1.33      "document/numerics.tex"
    1.34 -    "document/pghead.eps"
    1.35      "document/pghead.pdf"
    1.36      "document/preface.tex"
    1.37      "document/protocol.tex"
    1.38 @@ -359,6 +354,5 @@
    1.39      "document/sets.tex"
    1.40      "document/tutorial.sty"
    1.41      "document/typedef.pdf"
    1.42 -    "document/typedef.ps"
    1.43      "document/types0.tex"
    1.44