aboutsummaryrefslogtreecommitdiffhomepage
path: root/isa
Commit message (Expand)AuthorAge
* Use new format character %s to %e to cope with nasty filenames with backslashes.Gravatar David Aspinall2000-03-22
* transparent cd;Gravatar Makarius Wenzel2000-03-22
* Added settings for silent control.Gravatar David Aspinall2000-03-19
* New/updated information filesGravatar David Aspinall2000-03-13
* DocstringsGravatar David Aspinall2000-03-10
* Added menu item to switch to script buffer, C-c C-o key.Gravatar David Aspinall2000-03-10
* Updated headers.Gravatar David Aspinall2000-03-09
* UpdatedGravatar David Aspinall2000-03-09
* Added README files for each prover, summarizing status.Gravatar David Aspinall2000-03-09
* Split low-level todo into several files.Gravatar David Aspinall2000-03-08
* tuned electric-ignore;Gravatar Makarius Wenzel2000-02-23
* fix electric-ignore (due to DvO);Gravatar Makarius Wenzel2000-02-15
* option -x: enable x-symbol package;Gravatar Makarius Wenzel2000-02-11
* setup proof-shell-pre-interrupt-hook for Poly/ML;Gravatar Makarius Wenzel2000-02-10
* fixed proof-shell-error-regexp;Gravatar Makarius Wenzel2000-02-07
* CommentsGravatar David Aspinall2000-01-12
* Fixes for short output duplication problem: set proof-shell-eager-annotation-...Gravatar David Aspinall2000-01-06
* Change SML minor mode binding to C-c C-m, avoiding clash withGravatar David Aspinall1999-11-29
* Add universal keys to theory modeGravatar David Aspinall1999-11-29
* Fix to proof-shell-proof-completed-regexp by reverting to previous version.Gravatar David Aspinall1999-11-26
* Made thy-indent-level a user opt.Gravatar David Aspinall1999-11-24
* Patch to proof-shell-proof-completed-regexp to prevent overflow, sent by MarkusGravatar David Aspinall1999-11-23
* tuned faces;Gravatar Makarius Wenzel1999-11-22
* Added by defvars x-symbol-isa-name, x-symbol-isa-modeline-name so can use thi...Gravatar David Aspinall1999-11-19
* Failed attempt to trap C-g during try-update-thy. Left as comments.Gravatar David Aspinall1999-11-18
* Remove some obsolete/unecessary stuff.Gravatar David Aspinall1999-11-17
* Cleanups and a bit more highlightingGravatar David Aspinall1999-11-16
* Matching goals regexp. Comments.Gravatar David Aspinall1999-11-16
* Removed font-lock settings. Set proof-font-lock-zap-commas=tGravatar David Aspinall1999-11-15
* Many robustness improvements for error and interrupt handling:Gravatar David Aspinall1999-11-14
* More highlightingGravatar David Aspinall1999-11-14
* proof-nested-goals-allowed -> proof-completed-proof-behaviourGravatar David Aspinall1999-11-14
* More theory file sectionsGravatar David Aspinall1999-11-12
* Fixes for Isabelle in case theory file is visited before script file.Gravatar David Aspinall1999-11-12
* Display qed message in goals bufferGravatar David Aspinall1999-11-12
* Next round of fixups for font-lock and x-symbol.Gravatar David Aspinall1999-11-11
* Extensive fixes for x-symbol and font-lock.Gravatar David Aspinall1999-11-11
* Removed unsociable key-bindings.Gravatar David Aspinall1999-11-10
* Fixes for x-symbol activation/deactivation stringsGravatar David Aspinall1999-11-09
* Arrange for activate-scripting to not block for interactive calls.Gravatar David Aspinall1999-11-09
* Comments.Gravatar David Aspinall1999-11-08
* Typo.Gravatar David Aspinall1999-11-08
* Changed web page to official one.Gravatar David Aspinall1999-11-08
* improved proof-shell-error-regexp;Gravatar Makarius Wenzel1999-10-29
* isa-update-thy-only: 'try' option;Gravatar Makarius Wenzel1999-10-27
* ProofGeneral.inform_file_processed/retracted;Gravatar Makarius Wenzel1999-10-26
* tuned proof-shell-error-regexp;Gravatar Makarius Wenzel1999-10-26
* isa-keywords-save: removed "result";Gravatar Makarius Wenzel1999-10-26
* update by DvO;Gravatar Makarius Wenzel1999-10-22
* Changed name of proof-shell-cd-cmd for uniformity.Gravatar David Aspinall1999-10-21
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-08 15:11:00 +0000