aboutsummaryrefslogtreecommitdiff
path: root/isa
AgeCommit message (Collapse)Author
2000-09-27Added bugs that were mentioned in manualDavid Aspinall
2000-09-27Dont use customize-set-variable for add splash logoDavid Aspinall
2000-09-25Added bits from todo for IsabelleDavid Aspinall
2000-09-25isa-isatool-command: tuned standard places of Isabelle installation;Makarius Wenzel
2000-09-21tweak 'x-symbol-image-converter to avoid confusing warning;Makarius Wenzel
2000-09-21use plain /bin/sh instead of bash;Makarius Wenzel
2000-09-21added Isabelle symbols for parendblleft/parendblright glyphs (will beMakarius Wenzel
present in X-Symbol-3.3e; should not cause problems with older versions);
2000-09-20added -X option;Makarius Wenzel
2000-09-19installfonts only when using X window system;Makarius Wenzel
2000-09-19improved xsymbol config: include info dir, only init for XEmacs;Makarius Wenzel
2000-09-19done: ability to choose logic;Makarius Wenzel
2000-09-19isa: DEFAULT_FILES="Scratch.thy Scratch.ML";Makarius Wenzel
2000-09-19Isabelle version: 99-1;Makarius Wenzel
2000-09-18more robust checking of xsymbol-home;Makarius Wenzel
2000-09-17silent-cmd and init-cmd: activate Isabelle99-1 versions;Makarius Wenzel
2000-09-17isabelle-command-line: include -PI options for isar;Makarius Wenzel
activate global-timing;
2000-09-17this file is now a COPY of isar/interface;Makarius Wenzel
2000-09-15isatool installfonts (for remote X-Symbol fonts);Makarius Wenzel
2000-09-14renamed \<brokenbar> to \<bar>;Makarius Wenzel
fixed glyph of \<pounds>;
2000-09-14x-symbol-isabelle-electric-ignore: "~=";Makarius Wenzel
2000-09-11proof-shell-pre-interrupt-hook for PolyML 3 only;Makarius Wenzel
2000-09-08Changes for selecting object logic, locating executables.David Aspinall
2000-09-02more quoting;Makarius Wenzel
2000-08-28Remove Library.timings call, restore compatibility with I99.David Aspinall
2000-08-28Added setting for proof-shell-set-elisp-variable-regexpDavid Aspinall
2000-08-28cd command: add_path;Makarius Wenzel
2000-08-28conditional load of proof-site.el;Makarius Wenzel
2000-08-28-w false implies -x false;Makarius Wenzel
do not load proof-site.el here;
2000-08-23more symbols;Makarius Wenzel
2000-08-23tuned x-symbol setup;Makarius Wenzel
2000-08-14Added Fiona's changes.David Aspinall
2000-08-09smart setup of X-Symbol mode;Makarius Wenzel
2000-08-03x-symbol-isabelle-electric-ignore: include [[ ]];Makarius Wenzel
2000-08-02x-symbol-isabelle-prepare-table: avoids redundancy in code, improvesMakarius Wenzel
on isar version (only 1 backslash);
2000-08-02tuned;Makarius Wenzel
2000-08-02added isa-preprocessing;Makarius Wenzel
2000-07-26Suggestion from DvO addedDavid Aspinall
2000-07-20Remove accidental testing setq left in.David Aspinall
2000-07-19experiments with theorem dependenciesDavid Aspinall
2000-07-19reverting to last versionDavid Aspinall
2000-07-19file for theorem dependenciesfionam
2000-07-08isabelle-command-line: try to be smart in ensuring proper IsabelleMakarius Wenzel
command line, avoiding nil under all circumstances;
2000-07-08proof-prog-name: use isabelle-command-line;Makarius Wenzel
2000-07-08do not change isabelle-prog-name here;Makarius Wenzel
be less aggressive in changing x-symbol-enable;
2000-07-05Fix to make back() undoable.David Aspinall
2000-07-03Note about trapping errorsDavid Aspinall
2000-07-03quick-and-dirty t by default;Makarius Wenzel
2000-07-03Patch to cope gracefully with empty list of Isabelle documents.David Aspinall
2000-07-01activate global-timing;Makarius Wenzel
2000-07-01tuned docs menu;Makarius Wenzel
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-23 06:45:59 +0000