diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2000-12-20 12:33:36 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2000-12-20 12:33:36 +0000 |
commit | 1eafb4b0c31f575abccb4b25a8c49eb184217b5c (patch) | |
tree | 29bab574e5be188de6deb229bb9257afbff19e29 /lego | |
parent | 028397926a396c428fdf3ee1b608e5ffea2af6c7 (diff) |
goalsave -> proof
Diffstat (limited to 'lego')
-rw-r--r-- | lego/lego.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lego/lego.el b/lego/lego.el index ea49805f..087b775a 100644 --- a/lego/lego.el +++ b/lego/lego.el @@ -207,7 +207,7 @@ Given is the first SPAN which needs to be undone." ((eq (span-property span 'type) 'comment)) - ((eq (span-property span 'type) 'goalsave) + ((eq (span-property span 'type) 'proof) (unless (eq (span-property span 'name) proof-unnamed-theorem-name) (setq ans (format lego-forget-id-command (span-property span 'name))))) ;; alternative definitions |