aboutsummaryrefslogtreecommitdiffhomepage
path: root/isa
Commit message (Expand)AuthorAge
* Bug in regexpGravatar David Aspinall1998-11-12
* In a fit of autocracy, removed proof-tags-support, binding forGravatar David Aspinall1998-11-12
* Fixed error regexpGravatar David Aspinall1998-11-12
* Fixed a regexp.Gravatar David Aspinall1998-11-12
* Replaced custom-set-variables with customize-set-variable:Gravatar David Aspinall1998-11-12
* Disabled problematic requires temporarily.Gravatar David Aspinall1998-11-10
* Removed references of proof-shell-noise-regexpGravatar Thomas Kleymann1998-11-10
* Fixes for byte compilations and missing bits of Isamode.Gravatar David Aspinall1998-11-10
* Removed superfluous variable. Improved docstrings.Gravatar David Aspinall1998-11-09
* Added prefix arg to thy-find-other-file to use same windowGravatar David Aspinall1998-11-06
* Added key binding to switch between theory and ML files.Gravatar David Aspinall1998-11-04
* Reimplemented thy-find-other-fileGravatar David Aspinall1998-11-04
* Disabled annotated prompts because of strange bug.Gravatar David Aspinall1998-11-03
* More regexp improvementsGravatar David Aspinall1998-11-03
* Work on improving regular expressions for Isabelle.Gravatar David Aspinall1998-11-03
* fixed bug with font-lock face namesGravatar Thomas Kleymann1998-11-03
* Changes suggested by Markus WenzelGravatar David Aspinall1998-11-02
* fixed minor bugsGravatar Thomas Kleymann1998-11-02
* o added support for byte-compilationGravatar Thomas Kleymann1998-11-01
* Fixes for multiple files. More defcustoms.Gravatar David Aspinall1998-10-29
* Example theory fileGravatar David Aspinall1998-10-29
* Crudely hacked Isabelle image onto splash screen.Gravatar David Aspinall1998-10-29
* Begun work on adding more special annotations for Isabelle.Gravatar David Aspinall1998-10-29
* More hacks to variable names for customize (sorry)Gravatar David Aspinall1998-10-29
* Improved behaviour of Isabelle multiple files: don't retract parent theory.Gravatar David Aspinall1998-10-28
* Some experimental code addedGravatar David Aspinall1998-10-28
* Fixed bug in Isabelle count undos. Now uses undo instead of choplev.Gravatar David Aspinall1998-10-28
* Mods for cleaner byte compileGravatar David Aspinall1998-10-27
* Begun work on clean byte compilation / clarifying interfaces.Gravatar David Aspinall1998-10-27
* Fixed urgent message stuff. proof-shell-process-urgent-messagesGravatar David Aspinall1998-10-27
* Renamed proof-invisible-command proof-shell-invisible-command.Gravatar David Aspinall1998-10-27
* Work on Isabelle theory reader.Gravatar David Aspinall1998-10-27
* Fix buglet for when script buffer has no filename.Gravatar David Aspinall1998-10-26
* Changes for locked regions in theory filesGravatar David Aspinall1998-10-26
* Removed Isamode-specific keybindingsGravatar David Aspinall1998-10-26
* Added new theory file sectionsGravatar David Aspinall1998-10-23
* Added support for locking Isabelle .thy files blue.Gravatar David Aspinall1998-10-23
* Greatly simplified by new functions in IsabelleGravatar David Aspinall1998-10-23
* Added proof-mode-for-script setting.Gravatar David Aspinall1998-10-23
* Replaced remaining face defs with defface calls.Gravatar David Aspinall1998-10-23
* retract_file also works on files without .thy partners.Gravatar David Aspinall1998-10-22
* Prevented .thy files from appearing in message buffer.Gravatar David Aspinall1998-10-22
* Only load theory for script file if no locked region yetGravatar David Aspinall1998-10-22
* Added notes on Isa multi files, web page improvementsGravatar David Aspinall1998-10-22
* Improved multiple file implementationGravatar David Aspinall1998-10-21
* Added functions to support multiple files, sending use_thy to IsabelleGravatar David Aspinall1998-10-21
* Used new get_thy_filenames function from Isabelle 98-1Gravatar David Aspinall1998-10-21
* Isabelle program name is just 'isabelle'Gravatar David Aspinall1998-10-20
* Removed duplicate proofGravatar David Aspinall1998-10-20
* Customization for multiple filesGravatar David Aspinall1998-10-19
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-08 13:26:54 +0000