aboutsummaryrefslogtreecommitdiffhomepage
path: root/proof.el
Commit message (Expand)AuthorAge
* o added support for remote proof processesGravatar Thomas Kleymann1998-01-12
* improved fume supportGravatar Thomas Kleymann1998-01-05
* o introduced proof-shell-handle-error-hook and bount it by default toGravatar Thomas Kleymann1997-12-18
* o The response buffer focusses on the first goalGravatar Thomas Kleymann1997-11-26
* Added proof-execute-minibuffer-cmd and scripting minor mode.Gravatar Dilip Sequiera1997-11-24
* Added proof-global-p to test whether a 'vanilla should be lifted aboveGravatar Healfdene Goguen1997-11-20
* Added some magic commands: proof-frob-locked-end, proof-try-command,Gravatar Dilip Sequiera1997-11-17
* Includes commented code for Coq version of extent protocolGravatar Healfdene Goguen1997-11-13
* Started modifications for emacs19 port.Gravatar Dilip Sequiera1997-11-10
* Put in a workaround for a strange bug in comint which was finding a bunchGravatar Dilip Sequiera1997-11-10
* Parameterize by proof-goal-hyp-fn in pbp-make-top-extent, to handleGravatar Healfdene Goguen1997-11-06
* o implented proof-find-next-terminator available via C-c C-eGravatar Thomas Kleymann1997-10-31
* Updates for coq, including:Gravatar Healfdene Goguen1997-10-30
* Updated comment about extent typesGravatar Healfdene Goguen1997-10-24
* Updated proof-segment-up-to to take ""'s into accountGravatar Healfdene Goguen1997-10-22
* proof-active-terminator inside comment case fixed. Also maybe theGravatar Dilip Sequiera1997-10-17
* fixed a bug in proof-process-active-terminator. Notice that it stillGravatar Thomas Kleymann1997-10-17
* Figured out display tables.Gravatar Dilip Sequiera1997-10-16
* merged script management (1.10.2.18) with main branchGravatar Thomas Kleymann1997-10-16
* proof-process-active-terminator is now an extension ofGravatar Thomas Kleymann1997-10-14
* put script-management branch back on main branchGravatar Thomas Kleymann1997-10-13
* Invisible pbp command handlingGravatar Dilip Sequiera1996-12-03
* A few small fixes to deal with performance problems.Gravatar Dilip Sequiera1996-12-03
* *** empty log message ***Gravatar Thomas Kleymann1996-11-22
* *** empty log message ***Gravatar Thomas Kleymann1996-11-21
* Bug with semicolon minor mode near-fixedGravatar Dilip Sequiera1996-11-05
* fixed bug in ids-to-regexp and improved regular expression for fontifying LEGOGravatar Thomas Kleymann1996-11-05
* improved font-lock customisation for LEGOGravatar Thomas Kleymann1996-11-01
* Fixed some bugs. Doubtless introduced others.Gravatar Dilip Sequiera1996-10-29
* added proof-find-end-of-commandGravatar Thomas Kleymann1996-10-25
* Emacs mode for legoGravatar lego1996-10-24
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-09 22:58:44 +0000