# HG changeset patch
# User wenzelm
# Date 1402339453 -7200
# Node ID f7e75bb411b42243d5ee98bfb9b0d20a939e3a11
# Parent  00f2c8d1aa0b9580340edb8ae7eae923f1fbc3e5
suppress index;

diff -r 00f2c8d1aa0b -r f7e75bb411b4 src/Doc/JEdit/JEdit.thy
--- a/src/Doc/JEdit/JEdit.thy	Mon Jun 09 20:41:00 2014 +0200
+++ b/src/Doc/JEdit/JEdit.thy	Mon Jun 09 20:44:13 2014 +0200
@@ -224,7 +224,7 @@
   platform-specific executable wrappers for Linux, Windows, Mac OS X.
   Nonetheless it is occasionally useful to invoke the Prover IDE on the
   command-line, with some extra options and environment settings as explained
-  below. The command-line usage of @{tool_def jedit} is as follows:
+  below. The command-line usage of @{tool jedit} is as follows:
 \begin{ttbox}
   Usage: isabelle jedit [OPTIONS] [FILES ...]