aboutsummaryrefslogtreecommitdiff
path: root/isa/isa.el
AgeCommit message (Expand)Author
1998-11-12In a fit of autocracy, removed proof-tags-support, binding forDavid Aspinall
1998-11-12Fixed error regexpDavid Aspinall
1998-11-12Replaced custom-set-variables with customize-set-variable:David Aspinall
1998-11-10Disabled problematic requires temporarily.David Aspinall
1998-11-10Removed references of proof-shell-noise-regexpThomas Kleymann
1998-11-10Fixes for byte compilations and missing bits of Isamode.David Aspinall
1998-11-09Removed superfluous variable. Improved docstrings.David Aspinall
1998-11-04Added key binding to switch between theory and ML files.David Aspinall
1998-11-03Disabled annotated prompts because of strange bug.David Aspinall
1998-11-03Work on improving regular expressions for Isabelle.David Aspinall
1998-11-02fixed minor bugsThomas Kleymann
1998-10-29Fixes for multiple files. More defcustoms.David Aspinall
1998-10-29Crudely hacked Isabelle image onto splash screen.David Aspinall
1998-10-29Begun work on adding more special annotations for Isabelle.David Aspinall
1998-10-29More hacks to variable names for customize (sorry)David Aspinall
1998-10-28Improved behaviour of Isabelle multiple files: don't retract parent theory.David Aspinall
1998-10-28Fixed bug in Isabelle count undos. Now uses undo instead of choplev.David Aspinall
1998-10-27Mods for cleaner byte compileDavid Aspinall
1998-10-27Begun work on clean byte compilation / clarifying interfaces.David Aspinall
1998-10-27Fixed urgent message stuff. proof-shell-process-urgent-messagesDavid Aspinall
1998-10-27Renamed proof-invisible-command proof-shell-invisible-command.David Aspinall
1998-10-27Work on Isabelle theory reader.David Aspinall
1998-10-26Fix buglet for when script buffer has no filename.David Aspinall
1998-10-26Changes for locked regions in theory filesDavid Aspinall
1998-10-23Added support for locking Isabelle .thy files blue.David Aspinall
1998-10-23Added proof-mode-for-script setting.David Aspinall
1998-10-22Prevented .thy files from appearing in message buffer.David Aspinall
1998-10-22Only load theory for script file if no locked region yetDavid Aspinall
1998-10-22Added notes on Isa multi files, web page improvementsDavid Aspinall
1998-10-21Improved multiple file implementationDavid Aspinall
1998-10-21Added functions to support multiple files, sending use_thy to IsabelleDavid Aspinall
1998-10-20Isabelle program name is just 'isabelle'David Aspinall
1998-10-19Customization for multiple filesDavid Aspinall
1998-10-12Bug in variable namesDavid Aspinall
1998-10-12Important regular expression fixes:David Aspinall
1998-10-07Disabled tags support for Isabelle.David Aspinall
1998-10-02changed maintainer information to lego@dcs and isabelle@dcs .Thomas Kleymann
1998-10-02Removed duff key bindingsDavid Aspinall
1998-10-01Updated maintainer tags to remove lego email address.David Aspinall
1998-10-01Changed configuration. Added goal-command and save-command.David Aspinall
1998-09-24MinorDavid Aspinall
1998-09-23Removed tags stuffDavid Aspinall
1998-09-23Added back isabelle-settings groupDavid Aspinall
1998-09-23Changed customization group, added goal command, better docsDavid Aspinall
1998-09-17Added theory file mode from Isamode.David Aspinall
1998-09-11Fixes to syntax and startup function.David Aspinall
1998-09-09Added Id to headers.David Aspinall
1998-09-08More features working. Added example.David Aspinall
1998-09-03Renamed/added defcustom support.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-02 06:50:21 +0000