# HG changeset patch
# User wenzelm
# Date 938356934 -7200
# Node ID fe818734c387ec3a0a0f9b58c5aaf300c7693384
# Parent  ba11b5db431a87cac9acc5b054cdf5239a5db9f1
help: unknown theory context;

diff -r ba11b5db431a -r fe818734c387 src/Pure/Isar/outer_syntax.ML
--- a/src/Pure/Isar/outer_syntax.ML	Sun Sep 26 16:41:16 1999 +0200
+++ b/src/Pure/Isar/outer_syntax.ML	Sun Sep 26 16:42:14 1999 +0200
@@ -193,11 +193,12 @@
   end;
 
 val print_help =
-  Toplevel.imperative print_outer_syntax o
   Toplevel.keep (fn state =>
-    (print_outer_syntax ();
-      Method.help_methods (Toplevel.theory_of state);
-      Attrib.help_attributes (Toplevel.theory_of state)));
+    let val opt_thy = try Toplevel.theory_of state in
+      print_outer_syntax ();
+      Method.help_methods opt_thy;
+      Attrib.help_attributes opt_thy
+    end);