changeset 62576 | 26179aa33fe7 |
parent 62573 | 27f90319a499 |
child 62588 | cd266473b81b |
--- a/src/Doc/System/Basics.thy Wed Mar 09 20:11:25 2016 +0100 +++ b/src/Doc/System/Basics.thy Wed Mar 09 20:36:29 2016 +0100 @@ -335,9 +335,6 @@ theory value from the theory loader within ML (observe the delicate quoting rules for the Bash shell vs.\ ML): @{verbatim [display] \<open>isabelle_process -e 'Thy_Info.get_theory "Main"' HOL\<close>} - - Note that the output text will be interspersed with additional junk messages - by the ML runtime environment. \<close>