aboutsummaryrefslogtreecommitdiff
path: root/generic
AgeCommit message (Collapse)Author
1999-09-13Added new toolbar buttons, streamlined code to work from a tableDavid Aspinall
1999-09-13Added proof-terminal-string to proof-execute-minibuffer-cmd.David Aspinall
1999-09-13Removed transparent gif from splash screen because XEmacs can'tDavid Aspinall
display it nicely.
1999-09-13docstring improvements for proof-guess-command-nameDavid Aspinall
1999-09-13Made a release (ProofGeneral.spec, proof-site.el, download.phtml)David Aspinall
Makefile.devel: fixed fakerelease doc/Makefile: Don't attempt page rearrangement if dviutils not present
1999-09-13Fix so that buffer names are shorter (esp for Coq).David Aspinall
A fixed version of Patrick's earlier patch.
1999-09-09tuned x-symbol setup (DvO);Makarius Wenzel
1999-09-03da: improved comment;Makarius Wenzel
1999-08-27Set version tag for new release.David Aspinall
1999-08-24Set version tag for new release.David Aspinall
1999-08-24Attempted fix of FSFmacs problem, left as commentDavid Aspinall
1999-08-24DocstringDavid Aspinall
1999-08-23FIXME to add menu to goals buffer, to match response buffer menu.David Aspinall
1999-08-23Disable properly if x-symbol is not available.David Aspinall
1999-08-23Integrated patch from David von Oheimb.David Aspinall
1999-08-23Fix for toolbar disable for FSF Emacs.David Aspinall
1999-08-23proof-version -> proof-general-versionDavid Aspinall
1999-08-20proof-goto-end-of-locked-if-pos-not-visible-in-window:David Aspinall
Check that there is active scripting buffer, in Isabelle there might not be.
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
(interrupts may appear like error messages in Isabelle/Isar);
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
case of proof-prog-name="isabelle", for example.
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
proof-string-end-regexp, proof-comment-end, proof-comment-start, and parentheses according to current syntax table; renamed proof-commands-regexp to proof-indent-commands-regexp, which is less confusing);
1999-05-27renamed proof-commands-regexp to proof-indent-commands-regexp, whichMakarius Wenzel
is less confusing);
1999-05-27improved proof-segment-up-to to support proof-string-start-regexp,Makarius Wenzel
proof-string-end-regexp;
1999-05-27added proof-string-start-regexp, proof-string-end-regexp;Makarius Wenzel
generated by cgit v1.2.3 (git 2.25.1) at 2026-05-31 16:20:48 +0000