aboutsummaryrefslogtreecommitdiff
path: root/isa
AgeCommit message (Expand)Author
2002-07-19Bug in load-isar-keywordsDavid Aspinall
2002-07-18Nuke X-sym warningsDavid Aspinall
2002-07-18CleanupsDavid Aspinall
2002-07-18Fix sub/sups; defer loading x-symbol-isabelle.David Aspinall
2002-07-18Fix active variable highlighting in Isabelle with X-Symbol.David Aspinall
2002-07-17Support subterm help facility (not quite working)David Aspinall
2002-07-17Update versions/TODODavid Aspinall
2002-07-16Refactor several variable names; clean up, doc subterm markup and output disp...David Aspinall
2002-07-16Fix typo.David Aspinall
2002-07-16Add conversion of idmarkup to subtermDavid Aspinall
2002-07-16Patch so works without x-symbolDavid Aspinall
2002-07-16Merge patches from Christoph, and add Isabelle/Isar capabilitiesDavid Aspinall
2002-07-14Tracing bugDavid Aspinall
2002-07-01Doc difference between isa and isar, fix prob with isa support.David Aspinall
2002-07-01Added isabelle-load-isar-keywords mimic of script startup.David Aspinall
2002-06-30Fix x-symbol-isabelle-input-token-grammar to remove spurious backslashesDavid Aspinall
2002-06-30Fix GNU Emacs/X-Symbol compatibility for sml-sym-face added by Lucas Dixon.David Aspinall
2002-06-24Add Emacs mode comments at topDavid Aspinall
2002-06-24Move auto-mode-alist hack here now Isar is default.David Aspinall
2002-06-24Fix commentDavid Aspinall
2002-06-24[TESTING] support for latest version of X-Symbol (back compat broken).David Aspinall
2002-06-24Hack to avoid loading x-symbol-isabelleDavid Aspinall
2002-06-21GPL updateDavid Aspinall
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
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 13:59:20 +0000