# HG changeset patch
# User wenzelm
# Date 1455363235 -3600
# Node ID ffb2743ae0b9f97411de28cf1557352496df942f
# Parent  8bbbe07cd0eec3b2a1b9c900612540e20f7a4c9e
practically obsolete;

diff -r 8bbbe07cd0ee -r ffb2743ae0b9 src/Doc/System/Sessions.thy
--- a/src/Doc/System/Sessions.thy	Sat Feb 13 12:17:54 2016 +0100
+++ b/src/Doc/System/Sessions.thy	Sat Feb 13 12:33:55 2016 +0100
@@ -198,10 +198,6 @@
     the subsequent theories to be processed. Conditions are considered
     ``true'' if the corresponding environment value is defined and non-empty.
 
-    For example, the \<^verbatim>\<open>condition=ISABELLE_FULL_TEST\<close> may be used to guard
-    extraordinary theories, which are meant to be enabled explicitly via some
-    shell prefix \<^verbatim>\<open>env ISABELLE_FULL_TEST=true\<close> before invoking @{tool build}.
-
     \<^item> @{system_option_def "timeout"} and @{system_option_def "timeout_scale"}
     specify a real wall-clock timeout for the session as a whole: the two
     values are multiplied and taken as the number of seconds. Typically,