aboutsummaryrefslogtreecommitdiffhomepage
path: root/isa
Commit message (Expand)AuthorAge
* 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
* Accidental commit; revert to original.Gravatar David Aspinall2001-09-03
* Updating branchGravatar David Aspinall2001-09-03
* Add specific install instrs, rearrange.Gravatar David Aspinall2001-09-03
* Add settings for testing trace buffers.Gravatar David Aspinall2001-09-03
* handle relative heap paths gracefully;Gravatar Makarius Wenzel2001-08-31
* Add simulations of more qed commands, also sort and uniquify dependencies.Gravatar David Aspinall2001-08-31
* Fix for names of functions in proof-dependsGravatar David Aspinall2001-08-31
* Add setting for turning on theorem dependency trackingGravatar David Aspinall2001-08-31
* Update for Isabelle99-2Gravatar David Aspinall2001-08-31
* include ISABELLE_HOME_USER/etc/isar-keywords.el orGravatar Makarius Wenzel2001-08-30
* updated;Gravatar Makarius Wenzel2001-08-30
* Fix interrupt hook for PolyML 4 in recent IsabelleGravatar David Aspinall2001-08-30
* Set proof-shell-pre-interrupt-hook for PolyML (not just PolyML 3).Gravatar David Aspinall2001-08-30
* fixed potential regexp typo (!?);Gravatar Makarius Wenzel2001-08-09
* Remove extra proof."Gravatar David Aspinall2001-05-29
* renamed \<ll> to \<lless> and \<gg> to \<ggreater>;Gravatar Makarius Wenzel2001-01-24
* proof-string-match;Gravatar Makarius Wenzel2001-01-12
* Fix loading thy mode fist problem: require proof-script since contextGravatar David Aspinall2001-01-12
* proof-string-match;Gravatar Makarius Wenzel2001-01-12
* added \<wrong>;Gravatar Makarius Wenzel2001-01-10
* added \<cedilla>, \<dieresis>, \<acute>, \<hungarumlaut>;Gravatar Makarius Wenzel2001-01-09
* x-symbol-isabelle-match-subscript: check (proof-ass x-symbol-enable);Gravatar Makarius Wenzel2000-12-28
* tuned some (rarely used) symbols;Gravatar Makarius Wenzel2000-12-15
* isabelle-command-line: getenv "ISABELLE_OPTIONS";Gravatar Makarius Wenzel2000-12-01
* added -m option;Gravatar Makarius Wenzel2000-12-01
* disable trace option;Gravatar Makarius Wenzel2000-11-22
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-29 08:24:06 +0000