--- a/src/Doc/JEdit/JEdit.thy Tue Sep 08 11:44:15 2015 +0200
+++ b/src/Doc/JEdit/JEdit.thy Tue Sep 08 13:40:37 2015 +0200
@@ -226,12 +226,12 @@
Usage: isabelle jedit [OPTIONS] [FILES ...]
Options are:
- -J OPTION add JVM runtime option (default JEDIT_JAVA_OPTIONS)
+ -J OPTION add JVM runtime option
-b build only
-d DIR include session directory
-f fresh build
- -j OPTION add jEdit runtime option (default JEDIT_OPTIONS)
- -l NAME logic image name (default ISABELLE_LOGIC)
+ -j OPTION add jEdit runtime option
+ -l NAME logic image name
-m MODE add print mode for output
-n no build of session image on startup
-s system build mode for session image