--- a/doc-src/System/Thy/Presentation.thy Sun May 31 15:29:43 2009 +0200
+++ b/doc-src/System/Thy/Presentation.thy Sun May 31 15:49:35 2009 +0200
@@ -446,7 +446,6 @@
-T LEVEL multithreading: trace level (default 0)
-V VERSION declare alternative document VERSION
-b build mode (output heap image, using current dir)
- -c BOOL tell ML system to compress output image (default true)
-d FORMAT build document as FORMAT (default false)
-f NAME use ML file NAME (default ROOT.ML)
-g BOOL generate session graph image for document (default false)