| Age | Commit message (Expand) | Author |
|---|---|---|
| 1997-11-26 | Added C-c C-s to run "Search" in Coq. | Healfdene Goguen |
| 1997-11-24 | Added proof-execute-minibuffer-cmd and scripting minor mode. | Dilip Sequiera |
| 1997-11-20 | Added coq-global-p for global declarations and definitions. These now | Healfdene Goguen |
| 1997-11-17 | Added some magic commands: proof-frob-locked-end, proof-try-command, | Dilip Sequiera |
| 1997-11-12 | Changed pbp-change-goal so that it only "Show"s the goal pointed at. | Healfdene Goguen |
| 1997-11-06 | Assign new variable proof-goal-hyp-fn to coq-goal-hyp, which advances | Healfdene Goguen |
| 1997-10-30 | Updates for coq, including: | Healfdene Goguen |
| 1997-10-24 | Fixed coq-count-undos for comments | Healfdene Goguen |
| 1997-10-17 | Fixed coq-shell-prompt-pattern to reflect proof-id | Healfdene Goguen |
| 1997-10-16 | Merged Coq changes with main branch. | Dilip Sequiera |
| 1997-10-16 | Merged Coq changes onto main branch | Dilip Sequiera |
| 1997-10-13 | *** empty log message *** | Thomas Kleymann |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |