aboutsummaryrefslogtreecommitdiffhomepage
path: root/isa
Commit message (Expand)AuthorAge
...
* tuned;Gravatar Makarius Wenzel2000-08-02
* added isa-preprocessing;Gravatar Makarius Wenzel2000-08-02
* Suggestion from DvO addedGravatar David Aspinall2000-07-26
* 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
* isabelle-command-line: try to be smart in ensuring proper IsabelleGravatar Makarius Wenzel2000-07-08
* proof-prog-name: use isabelle-command-line;Gravatar Makarius Wenzel2000-07-08
* do not change isabelle-prog-name here;Gravatar Makarius Wenzel2000-07-08
* Fix to make back() undoable.Gravatar David Aspinall2000-07-05
* Note about trapping errorsGravatar David Aspinall2000-07-03
* quick-and-dirty t by default;Gravatar Makarius Wenzel2000-07-03
* Patch to cope gracefully with empty list of Isabelle documents.Gravatar David Aspinall2000-07-03
* activate global-timing;Gravatar Makarius Wenzel2000-07-01
* tuned docs menu;Gravatar Makarius Wenzel2000-07-01
* Added quick-and-dirty setting -- we can still argue about the default, 8-)Gravatar David Aspinall2000-06-29
* TidyGravatar David Aspinall2000-06-27
* Added missing proof.Gravatar David Aspinall2000-06-22
* Fix typo causing missing proof-shell-pre-interrupt-hook.Gravatar David Aspinall2000-06-19
* proper indentation setup;Gravatar Makarius Wenzel2000-06-16
* proper indentation;Gravatar Makarius Wenzel2000-06-16
* Renamed x symbol language name to isabelle (rather big for status line, unfor...Gravatar David Aspinall2000-06-16
* Tuned x-symbol config, moved settings to isabelle-system.elGravatar David Aspinall2000-06-16
* Renamed fileGravatar David Aspinall2000-06-16
* First attempt at using new indentation for Isabelle. Utterly broken.Gravatar David Aspinall2000-06-15
* fixed show_sorts;Gravatar Makarius Wenzel2000-06-09
* adapted to new indentation setup;Gravatar Makarius Wenzel2000-06-08
* Removed disable of simp tracing from enable/disable pr, desired functionality...Gravatar David Aspinall2000-06-07
* improved isabelle-verbatim-regexp: use \` \' instead of ^ $;Gravatar Makarius Wenzel2000-06-05
* Added proof-next-error to menu.Gravatar David Aspinall2000-06-05
* Added settings for proof-next-error.Gravatar David Aspinall2000-06-05
* fixed output syntax table;Gravatar Makarius Wenzel2000-06-05
* replaced isa-verbatim by isabelle-verbatim;Gravatar Makarius Wenzel2000-06-04
* added isabelle-verbatim;Gravatar Makarius Wenzel2000-06-04
* Remove spurious spacesGravatar David Aspinall2000-06-01
* Commented out global-timing since it seems to be Isabelle99-1 specific.Gravatar David Aspinall2000-05-31
* Added old completion table from Isamode. Added code to automatically add com...Gravatar David Aspinall2000-05-31
* Added missing command terminators for proof-xsym commandsGravatar David Aspinall2000-05-30
* handle 'isa-x-symbol-enable vs. 'isar-x-symbol-enable;Gravatar Makarius Wenzel2000-05-30
* defpacustom global-timing;Gravatar Makarius Wenzel2000-05-30
* DocstringGravatar David Aspinall2000-05-29
* Remove isar-markup-ml from hereGravatar David Aspinall2000-05-29
* Generalized proof assistant settings mechanismGravatar David Aspinall2000-05-29
* Add explicit terminators to commands. Generalized isabelle-set-default-cmd.Gravatar David Aspinall2000-05-29
* Additions to font lock on outputGravatar David Aspinall2000-05-29
* proof-defass-default -> defpgdefaultGravatar David Aspinall2000-05-26
* 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
* added show-consts, long-names;Gravatar Makarius Wenzel2000-05-17
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-01 22:20:40 +0000