aboutsummaryrefslogtreecommitdiffhomepage
path: root/isa
Commit message (Expand)AuthorAge
* proof-splash-display-image -> proof-get-image; generalise for xpm images.Gravatar David Aspinall2002-08-08
* Support missing/faked isatoolGravatar David Aspinall2002-07-19
* Merge changes and comments sent by Christoph WedlerGravatar David Aspinall2002-07-19
* Variable name change proof-comment-{start,end}-regexp -> proof-script-comment...Gravatar David Aspinall2002-07-19
* Bug in load-isar-keywordsGravatar David Aspinall2002-07-19
* Nuke X-sym warningsGravatar David Aspinall2002-07-18
* CleanupsGravatar David Aspinall2002-07-18
* Fix sub/sups; defer loading x-symbol-isabelle.Gravatar David Aspinall2002-07-18
* Fix active variable highlighting in Isabelle with X-Symbol.Gravatar David Aspinall2002-07-18
* Support subterm help facility (not quite working)Gravatar David Aspinall2002-07-17
* Update versions/TODOGravatar David Aspinall2002-07-17
* Refactor several variable names; clean up, doc subterm markup and output disp...Gravatar David Aspinall2002-07-16
* Fix typo.Gravatar David Aspinall2002-07-16
* Add conversion of idmarkup to subtermGravatar David Aspinall2002-07-16
* Patch so works without x-symbolGravatar David Aspinall2002-07-16
* Merge patches from Christoph, and add Isabelle/Isar capabilitiesGravatar David Aspinall2002-07-16
* Tracing bugGravatar David Aspinall2002-07-14
* Doc difference between isa and isar, fix prob with isa support.Gravatar David Aspinall2002-07-01
* Added isabelle-load-isar-keywords mimic of script startup.Gravatar David Aspinall2002-07-01
* Fix x-symbol-isabelle-input-token-grammar to remove spurious backslashesGravatar David Aspinall2002-06-30
* Fix GNU Emacs/X-Symbol compatibility for sml-sym-face added by Lucas Dixon.Gravatar David Aspinall2002-06-30
* Add Emacs mode comments at topGravatar David Aspinall2002-06-24
* Move auto-mode-alist hack here now Isar is default.Gravatar David Aspinall2002-06-24
* Fix commentGravatar David Aspinall2002-06-24
* [TESTING] support for latest version of X-Symbol (back compat broken).Gravatar David Aspinall2002-06-24
* Hack to avoid loading x-symbol-isabelleGravatar David Aspinall2002-06-24
* GPL updateGravatar David Aspinall2002-06-21
* Mistake in function name (Norbert Voelker <norbert@essex.ac.uk>)Gravatar David Aspinall2002-05-21
* Updated list of SML keywordsGravatar David Aspinall2002-04-24
* Add syntax highlighting cahanges from Lucas DixonGravatar David Aspinall2002-04-23
* Fix for E21 with isa-pre-shell-start.Gravatar David Aspinall2002-04-23
* option -g GEOMETRY;Gravatar Makarius Wenzel2002-02-12
* full-proofs setting;Gravatar Makarius Wenzel2002-01-21
* Isabelle2002 instead of Isabelle2001;Gravatar Makarius Wenzel2002-01-21
* WhitespaceGravatar David Aspinall2002-01-16
* Set proof-shell-trace-output-regexp in proof-pre-shell-start-hookGravatar David Aspinall2002-01-16
* Rename proof-shell-spill-output-regexp -> proof-shell-trace-output-regexpGravatar David Aspinall2002-01-16
* Rename proof-shell-spill-output-regexp -> proof-shell-trace-output-regexpGravatar David Aspinall2002-01-16
* trace_rules flag;Gravatar Makarius Wenzel2001-12-27
* updated;Gravatar Makarius Wenzel2001-12-27
* incorporate smart X11 font installation (used to be in isatool installfonts);Gravatar Makarius Wenzel2001-12-12
* added symbols for alternative 0..9;Gravatar Makarius Wenzel2001-12-04
* \<euro> symbol;Gravatar Makarius Wenzel2001-12-01
* option -k for logic specific isar-keywords file;Gravatar Makarius Wenzel2001-11-13
* added \<index> symbol;Gravatar Makarius Wenzel2001-11-08
* added \<lozenge> and \<struct>;Gravatar Makarius Wenzel2001-11-07
* support \<^bold> control symbols;Gravatar Makarius Wenzel2001-09-26
* tuned usage;Gravatar Makarius Wenzel2001-09-06
* added option -P: actually start Proof General (default true);Gravatar Makarius Wenzel2001-09-04
* no need to adjust the path to bash on the first line (due to /usr/bin/env);Gravatar Makarius Wenzel2001-09-04
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-23 08:03:13 +0000