aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2002-01-14some test cases for trace_simp output;Makarius Wenzel
2002-01-11Fix numberingDavid Aspinall
2002-01-11Fix numberDavid Aspinall
2002-01-11Updated.David Aspinall
2002-01-11Set version tag for new release.David Aspinall
2001-12-27tuned;Makarius Wenzel
2001-12-27trace_rules flag;Makarius Wenzel
2001-12-27updated;Makarius Wenzel
2001-12-27fixed spelling;Makarius Wenzel
2001-12-21do not set proof-shell-quit-cmd (admits persistent sessions);Makarius Wenzel
2001-12-12incorporate smart X11 font installation (used to be in isatool installfonts);Makarius Wenzel
2001-12-11Updated.David Aspinall
2001-12-11Be politically correct about FSF GNU Emacs; update to mention version 21.David Aspinall
2001-12-11fix links to devel download.David Aspinall
2001-12-11Updated.David Aspinall
2001-12-11News item about Emacs 21 supportDavid Aspinall
2001-12-11Updated.David Aspinall
2001-12-11Set version tag for new release.David Aspinall
2001-12-11Note about Emacs 21 support and font lock.David Aspinall
2001-12-11Protect XEmacs only codeDavid Aspinall
2001-12-11Fix test for GNU 21David Aspinall
2001-12-11Change to font-lock support routines.David Aspinall
2001-12-11Disable customize-menu-create for Emacs 21.David Aspinall
2001-12-11Rework font-lock variable munging to work in GNU Emacs 21 also.David Aspinall
2001-12-11Missing parenDavid Aspinall
2001-12-11Remove double setting, leave test setting in.David Aspinall
2001-12-11Simplify -goals-config-done and -response-config-done to use current buffer. ↵David Aspinall
Kill trace buffer with other associated buffers, and set specifiers similarly for multiple frames.
2001-12-11Added proof-trace-output-fontify-enableDavid Aspinall
2001-12-11Note of Emacs 21 supportDavid Aspinall
2001-12-11Add support for toolbars on Emacs 21.David Aspinall
2001-12-11Add support for Emacs 21 image display.David Aspinall
2001-12-11Add proof-running-on-Emacs21 flag.David Aspinall
2001-12-11Allow toolbar toggle for GNU Emacs 21.David Aspinall
2001-12-11Toolbar allowed in GNU Emacs 21David Aspinall
2001-12-11Add proof-emacs-imagep function for GNU Emacs 21.David Aspinall
2001-12-10Add handling of proof-trace-buffer.David Aspinall
2001-12-10Added proof-trace-buffer.David Aspinall
2001-12-10Dont return a fontified string in proof-response-buffer-display.David Aspinall
2001-12-05proof-release-lock: do not touch proof-shell-spill-output-buffer;Makarius Wenzel
proof-shell-spill-output-begin: reuse existing buffer;
2001-12-05activate proof-shell-spill-output-regexp;Makarius Wenzel
2001-12-04Updated.David Aspinall
2001-12-04Set version tag for new release.David Aspinall
2001-12-04Update for 3.4preDavid Aspinall
2001-12-04Update mailing list address (point to web page)David Aspinall
2001-12-04update from make process;Makarius Wenzel
2001-12-04isar specific commands for bold/sup/sub;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-24proof-shell-spill-output-regexp temporarily disabled;Makarius Wenzel
2001-11-20set proof-shell-spill-output-regexp;Makarius Wenzel
isar-activate-scripting: proof-syn-cd (why is this here needed?);
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-22 05:57:38 +0000