aboutsummaryrefslogtreecommitdiffhomepage
path: root/isa
Commit message (Expand)AuthorAge
* tweak 'x-symbol-image-converter to avoid confusing warning;Gravatar Makarius Wenzel2000-09-21
* use plain /bin/sh instead of bash;Gravatar Makarius Wenzel2000-09-21
* added Isabelle symbols for parendblleft/parendblright glyphs (will beGravatar Makarius Wenzel2000-09-21
* added -X option;Gravatar Makarius Wenzel2000-09-20
* installfonts only when using X window system;Gravatar Makarius Wenzel2000-09-19
* improved xsymbol config: include info dir, only init for XEmacs;Gravatar Makarius Wenzel2000-09-19
* done: ability to choose logic;Gravatar Makarius Wenzel2000-09-19
* isa: DEFAULT_FILES="Scratch.thy Scratch.ML";Gravatar Makarius Wenzel2000-09-19
* Isabelle version: 99-1;Gravatar Makarius Wenzel2000-09-19
* more robust checking of xsymbol-home;Gravatar Makarius Wenzel2000-09-18
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-20 21:16:47 +0000