aboutsummaryrefslogtreecommitdiff
path: root/isa
AgeCommit message (Collapse)Author
2001-08-31handle relative heap paths gracefully;Makarius Wenzel
2001-08-31Add simulations of more qed commands, also sort and uniquify dependencies.David Aspinall
2001-08-31Fix for names of functions in proof-dependsDavid Aspinall
2001-08-31Add setting for turning on theorem dependency trackingDavid Aspinall
2001-08-31Update for Isabelle99-2David Aspinall
2001-08-30include ISABELLE_HOME_USER/etc/isar-keywords.el orMakarius Wenzel
ISABELLE_HOME/etc/isar-keywords.el if available;
2001-08-30updated;Makarius Wenzel
2001-08-30Fix interrupt hook for PolyML 4 in recent IsabelleDavid Aspinall
2001-08-30Set proof-shell-pre-interrupt-hook for PolyML (not just PolyML 3).David Aspinall
2001-08-09fixed potential regexp typo (!?);Makarius Wenzel
2001-05-29Remove extra proof."David Aspinall
2001-01-24renamed \<ll> to \<lless> and \<gg> to \<ggreater>;Makarius Wenzel
2001-01-12proof-string-match;Makarius Wenzel
2001-01-12Fix loading thy mode fist problem: require proof-script since contextDavid Aspinall
menus are now added for response/goals buffer, which requires proof mode.
2001-01-12proof-string-match;Makarius Wenzel
2001-01-10added \<wrong>;Makarius Wenzel
2001-01-09added \<cedilla>, \<dieresis>, \<acute>, \<hungarumlaut>;Makarius Wenzel
2000-12-28x-symbol-isabelle-match-subscript: check (proof-ass x-symbol-enable);Makarius Wenzel
2000-12-15tuned some (rarely used) symbols;Makarius Wenzel
2000-12-01isabelle-command-line: getenv "ISABELLE_OPTIONS";Makarius Wenzel
2000-12-01added -m option;Makarius Wenzel
2000-11-22disable trace option;Makarius Wenzel
2000-11-21converted from sh back to bash;Makarius Wenzel
use "#!/usr/bin/env bash" as interpreter to determine bash from PATH; handle spaces in file names;
2000-10-30replaced \<macron> by \<inverse> (better than nothing);Makarius Wenzel
2000-10-14parendblleft/right renamed to cataleft/right (according to x-symbol-3.3e);Makarius Wenzel
2000-10-12support for super- and subscripts (still needs proper per-proverMakarius Wenzel
control of x-symbol-subscripts variable);
2000-10-02added settings: eta-contract, goals-limit, prems-limit;Makarius Wenzel
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-08 19:46:07 +0000