aboutsummaryrefslogtreecommitdiff
path: root/coq.el
AgeCommit message (Expand)Author
1998-05-06Added coq-info-dir so that script-management.info can be hard-coded.Healfdene Goguen
1998-05-05Made updates to fix problem with Definition, which couldn't beHealfdene Goguen
1998-03-25added support for etags at generic proof levelThomas Kleymann
1998-01-15Added coq-shell-cdHealfdene Goguen
1997-11-26Added C-c C-s to run "Search" in Coq.Healfdene Goguen
1997-11-24Added proof-execute-minibuffer-cmd and scripting minor mode.Dilip Sequiera
1997-11-20Added coq-global-p for global declarations and definitions. These nowHealfdene Goguen
1997-11-17Added some magic commands: proof-frob-locked-end, proof-try-command,Dilip Sequiera
1997-11-12Changed pbp-change-goal so that it only "Show"s the goal pointed at.Healfdene Goguen
1997-11-06Assign new variable proof-goal-hyp-fn to coq-goal-hyp, which advancesHealfdene Goguen
1997-10-30Updates for coq, including:Healfdene Goguen
1997-10-24Fixed coq-count-undos for commentsHealfdene Goguen
1997-10-17Fixed coq-shell-prompt-pattern to reflect proof-idHealfdene Goguen
1997-10-16Merged Coq changes with main branch.Dilip Sequiera
1997-10-16Merged Coq changes onto main branchDilip Sequiera
1997-10-13*** empty log message ***Thomas Kleymann
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-25 21:45:11 +0000