From f445f4df6edd07068f91dbe04ea84059375781b7 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Wed, 8 Sep 2010 12:58:59 +0000 Subject: use-linear-undo: use default of t again --- isar/isar.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'isar') diff --git a/isar/isar.el b/isar/isar.el index 6a4e05a1..feea1f4d 100644 --- a/isar/isar.el +++ b/isar/isar.el @@ -257,7 +257,7 @@ See -k option for Isabelle interface script." (setq proof-find-and-forget-fn 'isar-find-and-forget) (setq proof-arbitrary-undo-positions nil))) -(defpacustom use-linear-undo nil +(defpacustom use-linear-undo t "Whether to allow undo to re-enter completed proofs (requires restart)." :type 'boolean :eval (isar-set-undo-commands)) -- cgit v1.2.3