aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* New files.Gravatar David Aspinall2002-01-31
* tuned comment;Gravatar Makarius Wenzel2002-01-26
* full-proofs setting;Gravatar Makarius Wenzel2002-01-21
* Isabelle2002 instead of Isabelle2001;Gravatar Makarius Wenzel2002-01-21
* *** empty log message ***Gravatar Christophe Raffalli2002-01-17
* Updated.Gravatar David Aspinall2002-01-16
* Set version tag for new release.Gravatar David Aspinall2002-01-16
* WhitespaceGravatar David Aspinall2002-01-16
* CommentsGravatar David Aspinall2002-01-16
* Also bury trace bufferGravatar David Aspinall2002-01-16
* WhitespaceGravatar David Aspinall2002-01-16
* Only create trace buffer if liable to be used. Remove experimental spill-out...Gravatar 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
* FSF Emacs -> GNU EmacsGravatar David Aspinall2002-01-16
* Document the tracing buffer; FSF Emacs -> GNU EmacsGravatar David Aspinall2002-01-16
* Also put trace buffer in x sym modeGravatar David Aspinall2002-01-15
* Updated.Gravatar David Aspinall2002-01-15
* Remove defunct codeGravatar David Aspinall2002-01-15
* Set version tag for new release.Gravatar David Aspinall2002-01-15
* Deleted files.Gravatar David Aspinall2002-01-15
* Describe tracing improvements.Gravatar David Aspinall2002-01-15
* windows-of-buffer -> get-buffer-window-list GNU nameGravatar David Aspinall2002-01-15
* Inspect quit-flag when displaying tracing output; send an interrupt to the pr...Gravatar David Aspinall2002-01-15
* Redisplay during tracing output on XEmacsGravatar David Aspinall2002-01-15
* Fix link to feedback pageGravatar David Aspinall2002-01-15
* tuned;Gravatar Makarius Wenzel2002-01-14
* some test cases for trace_simp output;Gravatar Makarius Wenzel2002-01-14
* Fix numberingGravatar David Aspinall2002-01-11
* Fix numberGravatar David Aspinall2002-01-11
* Updated.Gravatar David Aspinall2002-01-11
* Set version tag for new release.Gravatar David Aspinall2002-01-11
* tuned;Gravatar Makarius Wenzel2001-12-27
* trace_rules flag;Gravatar Makarius Wenzel2001-12-27
* updated;Gravatar Makarius Wenzel2001-12-27
* fixed spelling;Gravatar Makarius Wenzel2001-12-27
* do not set proof-shell-quit-cmd (admits persistent sessions);Gravatar Makarius Wenzel2001-12-21
* incorporate smart X11 font installation (used to be in isatool installfonts);Gravatar Makarius Wenzel2001-12-12
* Updated.Gravatar David Aspinall2001-12-11
* Be politically correct about FSF GNU Emacs; update to mention version 21.Gravatar David Aspinall2001-12-11
* fix links to devel download.Gravatar David Aspinall2001-12-11
* Updated.Gravatar David Aspinall2001-12-11
* News item about Emacs 21 supportGravatar David Aspinall2001-12-11
* Updated.Gravatar David Aspinall2001-12-11
* Set version tag for new release.Gravatar David Aspinall2001-12-11
* Note about Emacs 21 support and font lock.Gravatar David Aspinall2001-12-11
* Protect XEmacs only codeGravatar David Aspinall2001-12-11
* Fix test for GNU 21Gravatar David Aspinall2001-12-11
* Change to font-lock support routines.Gravatar David Aspinall2001-12-11
generated by cgit v1.2.3 (git 2.39.1) at 2024-08-17 00:19:47 +0000