aboutsummaryrefslogtreecommitdiffhomepage
path: root/isa
Commit message (Expand)AuthorAge
* silent-cmd and init-cmd: activate Isabelle99-1 versions;Gravatar Makarius Wenzel2000-09-17
* isabelle-command-line: include -PI options for isar;Gravatar Makarius Wenzel2000-09-17
* this file is now a COPY of isar/interface;Gravatar Makarius Wenzel2000-09-17
* isatool installfonts (for remote X-Symbol fonts);Gravatar Makarius Wenzel2000-09-15
* renamed \<brokenbar> to \<bar>;Gravatar Makarius Wenzel2000-09-14
* x-symbol-isabelle-electric-ignore: "~=";Gravatar Makarius Wenzel2000-09-14
* proof-shell-pre-interrupt-hook for PolyML 3 only;Gravatar Makarius Wenzel2000-09-11
* Changes for selecting object logic, locating executables.Gravatar David Aspinall2000-09-08
* more quoting;Gravatar Makarius Wenzel2000-09-02
* Remove Library.timings call, restore compatibility with I99.Gravatar David Aspinall2000-08-28
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-01 14:54:45 +0000