diff options
| author | Makarius Wenzel | 2000-06-09 19:01:00 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2000-06-09 19:01:00 +0000 |
| commit | ceba4e78e9efb01fd3269e5e90d0ca19b8845166 (patch) | |
| tree | 44718c074155faec554f0170647885453f814bf5 | |
| parent | 1a22706c2784554f89aba784ec4a52b30b97435d (diff) | |
fixed show_sorts;
| -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." |