diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1998-10-07 16:29:15 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1998-10-07 16:29:15 +0000 |
| commit | 5e42ba794cbe45818b1336211cdada1a8b69e5e4 (patch) | |
| tree | d99aa2317a4089b14478cd4adaa9d7bee3b07bf2 /images | |
| parent | c378754860db36da0d40ac5c0086ed45f1d8fdc9 (diff) | |
Disabled tags support for Isabelle.
Removed isabelle-settings defcustom, renamed to isabelle-.
Renamed some customization variables isabelle-* for nice
display in menus. Removed proof-assistant setting.
Removed proof-global-p and isa-global-p. Renamed isa-thy-mode
to thy-mode.
Diffstat (limited to 'images')
0 files changed, 0 insertions, 0 deletions