aboutsummaryrefslogtreecommitdiffhomepage
path: root/coq.el
Commit message (Expand)AuthorAge
* Made updates to fix problem with Definition, which couldn't beGravatar Healfdene Goguen1998-05-05
* added support for etags at generic proof levelGravatar Thomas Kleymann1998-03-25
* Added coq-shell-cdGravatar Healfdene Goguen1998-01-15
* Added C-c C-s to run "Search" in Coq.Gravatar Healfdene Goguen1997-11-26
* Added proof-execute-minibuffer-cmd and scripting minor mode.Gravatar Dilip Sequiera1997-11-24
* Added coq-global-p for global declarations and definitions. These nowGravatar Healfdene Goguen1997-11-20
* Added some magic commands: proof-frob-locked-end, proof-try-command,Gravatar Dilip Sequiera1997-11-17
* Changed pbp-change-goal so that it only "Show"s the goal pointed at.Gravatar Healfdene Goguen1997-11-12
* Assign new variable proof-goal-hyp-fn to coq-goal-hyp, which advancesGravatar Healfdene Goguen1997-11-06
* Updates for coq, including:Gravatar Healfdene Goguen1997-10-30
* Fixed coq-count-undos for commentsGravatar Healfdene Goguen1997-10-24
* Fixed coq-shell-prompt-pattern to reflect proof-idGravatar Healfdene Goguen1997-10-17
* Merged Coq changes with main branch.Gravatar Dilip Sequiera1997-10-16
* Merged Coq changes onto main branchGravatar Dilip Sequiera1997-10-16
* *** empty log message ***Gravatar Thomas Kleymann1997-10-13
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-09 12:51:37 +0000