From 2cbfa85567ce702139f94c4ec6aef89168746a3b Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Fri, 24 Mar 2000 14:49:21 +0000 Subject: Removed pg_saved_gl which was for testing. --- isa/isa.el | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/isa/isa.el b/isa/isa.el index 5857ae20..ad13eaf9 100644 --- a/isa/isa.el +++ b/isa/isa.el @@ -201,7 +201,8 @@ and script mode." ;; initial command configures Isabelle by hacking print functions. ;; FIXME: temporary hack for almost enabling/disabling printing. - proof-shell-init-cmd "val pg_saved_gl = ref (!goals_limit); fun proofgeneral_enable_pr () = goals_limit:= !pg_saved_gl; fun proofgeneral_disable_pr() = (pg_saved_gl := !goals_limit; goals_limit := 0); ProofGeneral.init false;" +; proof-shell-init-cmd "val pg_saved_gl = ref (!goals_limit); fun proofgeneral_enable_pr () = goals_limit:= !pg_saved_gl; fun proofgeneral_disable_pr() = (pg_saved_gl := !goals_limit; goals_limit := 0); ProofGeneral.init false;" + proof-shell-init-cmd "ProofGeneral.init false;" proof-shell-restart-cmd "ProofGeneral.isa_restart();" proof-shell-quit-cmd "quit();" -- cgit v1.2.3