From d3f1d1b4e7def3232e86f9ac4498ad1c1477bb01 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Tue, 4 Apr 2000 17:48:25 +0000 Subject: Added provisional commands for enabling/disabling printing. --- isa/isa.el | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/isa/isa.el b/isa/isa.el index 45cbce0b..1bdb7a91 100644 --- a/isa/isa.el +++ b/isa/isa.el @@ -201,8 +201,7 @@ 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 "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-restart-cmd "ProofGeneral.isa_restart();" proof-shell-quit-cmd "quit();" -- cgit v1.2.3