aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2002-02-12added isar-undo-ignore-regexp;Makarius Wenzel
2002-02-08more robust proof-shell-interrupt-regexp and proof-shell-error-regexp;Makarius Wenzel
2002-01-31Updated.David Aspinall
2002-01-31Fix more broken front page linksDavid Aspinall
2002-01-31Update for recent releases.David Aspinall
2002-01-31Updated.David Aspinall
2002-01-31Simplify fix for repeated comments (commentre includes whitespace).David Aspinall
2002-01-31Updated.David Aspinall
2002-01-31Set version tag for new release.David Aspinall
2002-01-31Tweak commentDavid Aspinall
2002-01-31Fix problem noticed with Isar and repeated comments.David Aspinall
2002-01-31New files.David Aspinall
2002-01-26tuned comment;Makarius Wenzel
2002-01-21full-proofs setting;Makarius Wenzel
2002-01-21Isabelle2002 instead of Isabelle2001;Makarius Wenzel
2002-01-17*** empty log message ***Christophe Raffalli
2002-01-16Updated.David Aspinall
2002-01-16Set version tag for new release.David Aspinall
2002-01-16WhitespaceDavid Aspinall
2002-01-16CommentsDavid Aspinall
2002-01-16Also bury trace bufferDavid Aspinall
2002-01-16WhitespaceDavid Aspinall
2002-01-16Only create trace buffer if liable to be used. Remove experimental spill-out...David 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
2002-01-16FSF Emacs -> GNU EmacsDavid Aspinall
2002-01-16Document the tracing buffer; FSF Emacs -> GNU EmacsDavid Aspinall
2002-01-15Also put trace buffer in x sym modeDavid Aspinall
2002-01-15Updated.David Aspinall
2002-01-15Remove defunct codeDavid Aspinall
2002-01-15Set version tag for new release.David Aspinall
2002-01-15Deleted files.David Aspinall
2002-01-15Describe tracing improvements.David Aspinall
2002-01-15windows-of-buffer -> get-buffer-window-list GNU nameDavid Aspinall
2002-01-15Inspect quit-flag when displaying tracing output; send an interrupt to the pr...David Aspinall
2002-01-15Redisplay during tracing output on XEmacsDavid Aspinall
2002-01-15Fix link to feedback pageDavid Aspinall
2002-01-14tuned;Makarius Wenzel
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-11 19:33:35 +0000