aboutsummaryrefslogtreecommitdiffhomepage
path: root/isa
Commit message (Expand)AuthorAge
* Added setting for proof-shell-set-elisp-variable-regexpGravatar David Aspinall2000-08-28
* cd command: add_path;Gravatar Makarius Wenzel2000-08-28
* conditional load of proof-site.el;Gravatar Makarius Wenzel2000-08-28
* -w false implies -x false;Gravatar Makarius Wenzel2000-08-28
* more symbols;Gravatar Makarius Wenzel2000-08-23
* tuned x-symbol setup;Gravatar Makarius Wenzel2000-08-23
* Added Fiona's changes.Gravatar David Aspinall2000-08-14
* smart setup of X-Symbol mode;Gravatar Makarius Wenzel2000-08-09
* x-symbol-isabelle-electric-ignore: include [[ ]];Gravatar Makarius Wenzel2000-08-03
* x-symbol-isabelle-prepare-table: avoids redundancy in code, improvesGravatar Makarius Wenzel2000-08-02
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-07 15:45:02 +0000