aboutsummaryrefslogtreecommitdiffhomepage
path: root/isa/isa.el
Commit message (Collapse)AuthorAge
* silent-cmd and init-cmd: activate Isabelle99-1 versions;Gravatar Makarius Wenzel2000-09-17
|
* Added setting for proof-shell-set-elisp-variable-regexpGravatar David Aspinall2000-08-28
|
* cd command: add_path;Gravatar Makarius Wenzel2000-08-28
|
* added isa-preprocessing;Gravatar Makarius Wenzel2000-08-02
|
* Remove accidental testing setq left in.Gravatar David Aspinall2000-07-20
|
* experiments with theorem dependenciesGravatar David Aspinall2000-07-19
|
* reverting to last versionGravatar David Aspinall2000-07-19
|
* file for theorem dependenciesGravatar fionam2000-07-19
|
* proof-prog-name: use isabelle-command-line;Gravatar Makarius Wenzel2000-07-08
|
* Fix to make back() undoable.Gravatar David Aspinall2000-07-05
|
* TidyGravatar David Aspinall2000-06-27
|
* proper indentation setup;Gravatar Makarius Wenzel2000-06-16
|
* Tuned x-symbol config, moved settings to isabelle-system.elGravatar David Aspinall2000-06-16
|
* First attempt at using new indentation for Isabelle. Utterly broken.Gravatar David Aspinall2000-06-15
|
* adapted to new indentation setup;Gravatar Makarius Wenzel2000-06-08
|
* Removed disable of simp tracing from enable/disable pr, desired ↵Gravatar David Aspinall2000-06-07
| | | | functionality now in Isabelle's update_thy for PG
* Added settings for proof-next-error.Gravatar David Aspinall2000-06-05
| | | | | Added switch off of simplifier tracing to quiet command (not good enough -- need help from Isabelle for that really).
* Added old completion table from Isamode. Added code to automatically add ↵Gravatar David Aspinall2000-05-31
| | | | completion for x-symbol tokens.
* Added missing command terminators for proof-xsym commandsGravatar David Aspinall2000-05-30
|
* Add explicit terminators to commands. Generalized isabelle-set-default-cmd.Gravatar David Aspinall2000-05-29
|
* Patch for synchronization problem in Coq, perhaps others.Gravatar David Aspinall2000-05-25
|
* Goals.enable/disable_pr: improved version for Isabelle99-1 (commented out);Gravatar Makarius Wenzel2000-05-18
|
* Remove proof-assistant-menu-entries, done generically now.Gravatar David Aspinall2000-05-12
|
* CommentsGravatar David Aspinall2000-05-12
|
* Moved generic settings to isabelle-system.el. ↵Gravatar David Aspinall2000-05-11
| | | | isa-set-default-cmd->isabelle-set..
* Merged from 3.1.5Gravatar David Aspinall2000-05-09
|
* Comment.Gravatar David Aspinall2000-05-05
|
* isa-system.el -> isabelle-system.elGravatar David Aspinall2000-05-05
|
* New code in isa-system.el.Gravatar David Aspinall2000-05-05
|
* Default to isa-mode or isar-mode according to first one invoked.Gravatar David Aspinall2000-05-05
|
* Added specific menu for Isabelle (early version)Gravatar David Aspinall2000-05-01
|
* Revert to indended fix for isa-retract-thy-file.Gravatar David Aspinall2000-04-25
|
* fixed isa-retract-thy-file: pass theory name only;Gravatar Makarius Wenzel2000-04-17
| | | | fixed some comments;
* Tweak to disable_pr function to allow for it being called twice (why?).Gravatar David Aspinall2000-04-07
|
* pbp-mode -> goals-modeGravatar David Aspinall2000-04-07
|
* Fixed up proof-shell-proof-completed mess nicely.Gravatar David Aspinall2000-04-07
|
* improved print_mode switch;Gravatar Makarius Wenzel2000-04-05
|
* Added provisional commands for enabling/disabling printing.Gravatar David Aspinall2000-04-04
|
* Fix accidently introduced bug with passing full paths to theory loader.Gravatar David Aspinall2000-04-04
|
* Removed pg_saved_gl which was for testing.Gravatar David Aspinall2000-03-24
|
* Do need to strip drive name as Jacques discovered.Gravatar David Aspinall2000-03-24
|
* Fix name of win32-long-file-name used as check.Gravatar David Aspinall2000-03-24
|
* Quoted backslashes.Gravatar David Aspinall2000-03-24
|
* Sensible default for Windows invoking IsabelleGravatar David Aspinall2000-03-24
|
* Attempt to fix filename mess for Windows.Gravatar David Aspinall2000-03-24
|
* Updated Isabelle home page.Gravatar David Aspinall2000-03-23
|
* Switch back to %s, rename proof-shell-string-escapes -> ↵Gravatar David Aspinall2000-03-22
| | | | proof-shell-filename-escapes, and always apply for filename substn.
* Fix other file commands to use %e substitution.Gravatar David Aspinall2000-03-22
|
* 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
|
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-23 19:44:54 +0000