--- a/src/Doc/ROOT Sat Jul 27 21:01:35 2013 +0200
+++ b/src/Doc/ROOT Sat Jul 27 21:10:18 2013 +0200
@@ -124,7 +124,6 @@
"../underscore.sty"
"../manual.bib"
"document/build"
- "document/isar-vm.eps"
"document/isar-vm.pdf"
"document/isar-vm.svg"
"document/root.tex"
@@ -227,7 +226,6 @@
files
"../prepare_document"
"../pdfsetup.sty"
- "document/bang.eps"
"document/bang.pdf"
"document/build"
"document/intro-isabelle.tex"
@@ -267,7 +265,6 @@
"../ttbox.sty"
"../underscore.sty"
"../manual.bib"
- "document/browser_screenshot.eps"
"document/browser_screenshot.png"
"document/build"
"document/root.tex"
@@ -347,10 +344,8 @@
"document/fp.tex"
"document/inductive0.tex"
"document/isa-index"
- "document/Isa-logics.eps"
"document/Isa-logics.pdf"
"document/numerics.tex"
- "document/pghead.eps"
"document/pghead.pdf"
"document/preface.tex"
"document/protocol.tex"
@@ -359,6 +354,5 @@
"document/sets.tex"
"document/tutorial.sty"
"document/typedef.pdf"
- "document/typedef.ps"
"document/types0.tex"