aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic
Commit message (Expand)AuthorAge
* Set version tag for new release.Gravatar David Aspinall1999-09-13
* Experimental fix for proof-shell-completed flag clearing.Gravatar David Aspinall1999-09-13
* Added new toolbar buttons, streamlined code to work from a tableGravatar David Aspinall1999-09-13
* Added proof-terminal-string to proof-execute-minibuffer-cmd.Gravatar David Aspinall1999-09-13
* Removed transparent gif from splash screen because XEmacs can'tGravatar David Aspinall1999-09-13
* docstring improvements for proof-guess-command-nameGravatar David Aspinall1999-09-13
* Made a release (ProofGeneral.spec, proof-site.el, download.phtml)Gravatar David Aspinall1999-09-13
* Fix so that buffer names are shorter (esp for Coq).Gravatar David Aspinall1999-09-13
* tuned x-symbol setup (DvO);Gravatar Makarius Wenzel1999-09-09
* da: improved comment;Gravatar Makarius Wenzel1999-09-03
* Set version tag for new release.Gravatar David Aspinall1999-08-27
* Set version tag for new release.Gravatar David Aspinall1999-08-24
* Attempted fix of FSFmacs problem, left as commentGravatar David Aspinall1999-08-24
* DocstringGravatar David Aspinall1999-08-24
* FIXME to add menu to goals buffer, to match response buffer menu.Gravatar David Aspinall1999-08-23
* Disable properly if x-symbol is not available.Gravatar David Aspinall1999-08-23
* Integrated patch from David von Oheimb.Gravatar David Aspinall1999-08-23
* Fix for toolbar disable for FSF Emacs.Gravatar David Aspinall1999-08-23
* proof-version -> proof-general-versionGravatar David Aspinall1999-08-23
* proof-goto-end-of-locked-if-pos-not-visible-in-window:Gravatar David Aspinall1999-08-20
* Fix for process kill timeout bug.Gravatar David Aspinall1999-08-20
* Set version tag for new release.Gravatar David Aspinall1999-08-20
* prefer proof-shell-interrupt-regexp over proof-shell-error-regexpGravatar Makarius Wenzel1999-08-20
* Fix for XEmacs 21Gravatar David Aspinall1999-08-20
* Set version tag for new release.Gravatar David Aspinall1999-08-19
* Set version tag for new release.Gravatar David Aspinall1999-08-17
* Set version tag for new release.Gravatar David Aspinall1999-07-22
* Reverted change to Inferior buffer's name, it fails on simpleGravatar David Aspinall1999-07-22
* Set version tag for new release.Gravatar David Aspinall1999-07-16
* (goto-char (point-min)) rather than (proof-goto-end-of-locked);Gravatar Makarius Wenzel1999-07-08
* Set version tag for new release.Gravatar David Aspinall1999-07-07
* Set version tag for new release.Gravatar David Aspinall1999-07-03
* fixed some regexp via proof-anchor-regexp;Gravatar Makarius Wenzel1999-07-02
* Set version tag for new release.Gravatar David Aspinall1999-07-02
* Set version tag for new release.Gravatar David Aspinall1999-07-01
* Set version tag for new release.Gravatar David Aspinall1999-06-30
* Set version tag for new release.Gravatar David Aspinall1999-06-28
* Set version tag for new release.Gravatar proofgen1999-06-24
* Change of imageGravatar David Aspinall1999-06-24
* unkillable buffer bugfixGravatar Patrick Loiseleur1999-06-21
* DocstringGravatar David Aspinall1999-06-18
* tactics-name-faceGravatar Patrick Loiseleur1999-06-18
* Docstring fixes.Gravatar David Aspinall1999-06-15
* Bugfixes in proof-shell-exit and proof-shell-kill-functionGravatar Patrick Loiseleur1999-06-14
* Added proof-tactics-name-faceGravatar Patrick Loiseleur1999-06-14
* *** empty log message ***Gravatar Patrick Loiseleur1999-06-08
* Cleaned up docstringsGravatar David Aspinall1999-06-07
* Set version tag for new release.Gravatar proofgen1999-06-07
* proof-parse-to-point improved to support proof-string-start-regexp,Gravatar Makarius Wenzel1999-05-27
* renamed proof-commands-regexp to proof-indent-commands-regexp, whichGravatar Makarius Wenzel1999-05-27