Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
print_mode activated again;
authorwenzelm
Tue, 24 Aug 1999 11:43:30 +0200
changeset 7330 109b1ef4686a
parent 7329 9053ad9a9768
child 7331 aee8f76fe54c
print_mode activated again;
src/Pure/Interface/proof_general.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Interface/proof_general.ML	Tue Aug 24 11:43:05 1999 +0200
+++ b/src/Pure/Interface/proof_general.ML	Tue Aug 24 11:43:30 1999 +0200
@@ -181,7 +181,7 @@
  (setup_messages ();
   setup_state isar;
   setup_thy_loader isar;
-(*  print_mode := [proof_generalN];  (* FIXME doesn't work, yet *)  *)
+  print_mode := [proof_generalN];
   set quick_and_dirty;
   if isar then Isar.sync_main () else isa_restart ());
isabelle