# HG changeset patch
# User wenzelm
# Date 1590439034 -7200
# Node ID dff81ce866d4fed4ec80c72413d68537c332fe90
# Parent  1b023a4498c3b31e6fdbd53059a0581449d6e739
obsolete;

diff -r 1b023a4498c3 -r dff81ce866d4 src/Doc/System/Scala.thy
--- a/src/Doc/System/Scala.thy	Mon May 25 22:20:21 2020 +0200
+++ b/src/Doc/System/Scala.thy	Mon May 25 22:37:14 2020 +0200
@@ -28,11 +28,6 @@
   according to the standard directory layout for official JDK distributions.
   The class loader is augmented such that the name space of
   \<^verbatim>\<open>Isabelle/Pure.jar\<close> is available, which is the main Isabelle/Scala module.
-
-  For example, the following command-line invokes the main method of class
-  \<^verbatim>\<open>isabelle.GUI_Setup\<close>, which opens a windows with some diagnostic
-  information about the Isabelle environment:
-  @{verbatim [display] \<open>isabelle java isabelle.GUI_Setup\<close>}
 \<close>