aboutsummaryrefslogtreecommitdiff
path: root/coq.el
AgeCommit message (Expand)Author
1998-09-03Renamed for new subdirectory structureDavid Aspinall
1998-09-03minor modificationsThomas Kleymann
1998-09-03Dead code.David Aspinall
1998-09-03Removed dead codeDavid Aspinall
1998-08-11Renamed <file>-fontlock to <file>-syntaxDavid Aspinall
1998-06-10Added coq-init-syntax-table as function to initialize syntax entriesHealfdene Goguen
1998-06-03Added '?'s before single characters in define-keys for emacs19, atHealfdene Goguen
1998-06-03Added definition of proof-commands-regexp for coqHealfdene Goguen
1998-06-02Generalized proof-retract-target, now parameterized byHealfdene Goguen
1998-05-23improved support for InfoThomas Kleymann
1998-05-22Correct path for coq-prog-name and coq-tags.Healfdene Goguen
1998-05-15Changed variable names [s]ext to span.Healfdene Goguen
1998-05-14Changes to indentation code:Healfdene Goguen
1998-05-12Added hook `coq-shell-init-hook', for `proof-shell-insert-hook'.Healfdene Goguen
1998-05-08Made separated indentation more elegant.Healfdene Goguen
1998-05-08Merged indentation code for LEGO and Coq into proof.el.Healfdene Goguen
1998-05-06Removed default instantiation of undo limit to 100.Healfdene Goguen
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-02-20 10:16:06 +0000