aboutsummaryrefslogtreecommitdiff
path: root/isa
AgeCommit message (Collapse)Author
2002-05-21Mistake in function name (Norbert Voelker <norbert@essex.ac.uk>)David Aspinall
2002-04-24Updated list of SML keywordsDavid Aspinall
2002-04-23Add syntax highlighting cahanges from Lucas DixonDavid Aspinall
2002-04-23Fix for E21 with isa-pre-shell-start.David Aspinall
2002-02-12option -g GEOMETRY;Makarius Wenzel
2002-01-21full-proofs setting;Makarius Wenzel
2002-01-21Isabelle2002 instead of Isabelle2001;Makarius Wenzel
2002-01-16WhitespaceDavid Aspinall
2002-01-16Set proof-shell-trace-output-regexp in proof-pre-shell-start-hookDavid Aspinall
2002-01-16Rename proof-shell-spill-output-regexp -> proof-shell-trace-output-regexpDavid Aspinall
2002-01-16Rename proof-shell-spill-output-regexp -> proof-shell-trace-output-regexpDavid Aspinall
2001-12-27trace_rules flag;Makarius Wenzel
2001-12-27updated;Makarius Wenzel
2001-12-12incorporate smart X11 font installation (used to be in isatool installfonts);Makarius Wenzel
2001-12-04added symbols for alternative 0..9;Makarius Wenzel
2001-12-01\<euro> symbol;Makarius Wenzel
use previously defined x-symbol-isabelle-user-table (or nil); x-symbol-user-table achieves electric |- and |= symbols;
2001-11-13option -k for logic specific isar-keywords file;Makarius Wenzel
2001-11-08added \<index> symbol;Makarius Wenzel
2001-11-07added \<lozenge> and \<struct>;Makarius Wenzel
2001-09-26support \<^bold> control symbols;Makarius Wenzel
2001-09-06tuned usage;Makarius Wenzel
2001-09-04added option -P: actually start Proof General (default true);Makarius Wenzel
2001-09-04no need to adjust the path to bash on the first line (due to /usr/bin/env);Makarius Wenzel
2001-09-03Accidental commit; revert to original.David Aspinall
2001-09-03Updating branchDavid Aspinall
2001-09-03Add specific install instrs, rearrange.David Aspinall
2001-09-03Add settings for testing trace buffers.David Aspinall
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;
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-01 14:02:35 +0000