diff options
| -rw-r--r-- | isa/isabelle-system.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/isa/isabelle-system.el b/isa/isabelle-system.el index b964c786..2e6aa775 100644 --- a/isa/isabelle-system.el +++ b/isa/isabelle-system.el @@ -247,7 +247,7 @@ until Proof General is restarted." (defpacustom show-sorts nil "Whether to show sorts in Isabelle." :type 'boolean - :setting "show_types:=%b;") + :setting "show_sorts:=%b;") (defpacustom show-consts nil "Whether to show types of consts in Isabelle goals." |