aboutsummaryrefslogtreecommitdiff
path: root/generic
AgeCommit message (Expand)Author
1999-08-20Fix for process kill timeout bug.David Aspinall
1999-08-20Set version tag for new release.David Aspinall
1999-08-20prefer proof-shell-interrupt-regexp over proof-shell-error-regexpMakarius Wenzel
1999-08-20Fix for XEmacs 21David Aspinall
1999-08-19Set version tag for new release.David Aspinall
1999-08-17Set version tag for new release.David Aspinall
1999-07-22Set version tag for new release.David Aspinall
1999-07-22Reverted change to Inferior buffer's name, it fails on simpleDavid Aspinall
1999-07-16Set version tag for new release.David Aspinall
1999-07-08(goto-char (point-min)) rather than (proof-goto-end-of-locked);Makarius Wenzel
1999-07-07Set version tag for new release.David Aspinall
1999-07-03Set version tag for new release.David Aspinall
1999-07-02fixed some regexp via proof-anchor-regexp;Makarius Wenzel
1999-07-02Set version tag for new release.David Aspinall
1999-07-01Set version tag for new release.David Aspinall
1999-06-30Set version tag for new release.David Aspinall
1999-06-28Set version tag for new release.David Aspinall
1999-06-24Set version tag for new release.proofgen
1999-06-24Change of imageDavid Aspinall
1999-06-21unkillable buffer bugfixPatrick Loiseleur
1999-06-18DocstringDavid Aspinall
1999-06-18tactics-name-facePatrick Loiseleur
1999-06-15Docstring fixes.David Aspinall
1999-06-14Bugfixes in proof-shell-exit and proof-shell-kill-functionPatrick Loiseleur
1999-06-14Added proof-tactics-name-facePatrick Loiseleur
1999-06-08*** empty log message ***Patrick Loiseleur
1999-06-07Cleaned up docstringsDavid Aspinall
1999-06-07Set version tag for new release.proofgen
1999-05-27proof-parse-to-point improved to support proof-string-start-regexp,Makarius Wenzel
1999-05-27renamed proof-commands-regexp to proof-indent-commands-regexp, whichMakarius Wenzel
1999-05-27improved proof-segment-up-to to support proof-string-start-regexp,Makarius Wenzel
1999-05-27added proof-string-start-regexp, proof-string-end-regexp;Makarius Wenzel
1999-05-26fixed bug in proof-parse-to-point: missing (setq stack ...) in case ofMakarius Wenzel
1999-05-25removed superficial space;Makarius Wenzel
1999-05-25added proof-really-save-command-p to supportMakarius Wenzel
1999-05-25proof-done-advancing: added proof-really-save-command-p to supportMakarius Wenzel
1999-05-17I've added the custom option 'prog-name-guess' in the generic part andPatrick Loiseleur
1999-05-11added proof system "plastic", triggered by a .lf extensionPaul Callaghan
1999-05-11Add toggle for proof toolbar to menuDavid Aspinall
1999-05-03*** empty log message ***Patrick Loiseleur
1999-05-03proof-home-directory is correct even if $PROOFGENERAL_HOME does notPatrick Loiseleur
1999-04-16added 'isar proof assistant;Makarius Wenzel
1999-04-07Set version tag for new release.proofgen
1999-03-08Idea for proof-auto-retract, notes about proof-strict-read-onlyDavid Aspinall
1999-02-22Set version tag for new release.David Aspinall
1999-02-22DocstringDavid Aspinall
1999-02-22Added hack to fix nested @samp @var problem.David Aspinall
1999-02-22Added PROOFGENERAL_ASSISTANTS. proof-site should *not* need to be edited.David Aspinall
1999-02-22Fixed bug by shifting configuration of minor mode for active terminator.David Aspinall
1999-02-01Set version tag for new release.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-10 01:32:32 +0000