aboutsummaryrefslogtreecommitdiffhomepage
path: root/coq/coq.el
Commit message (Expand)AuthorAge
* Call proof-goals-config-done properly.Gravatar David Aspinall1999-11-13
* Set font-lock-keywords before calling proof-config-done.Gravatar David Aspinall1999-11-12
* fixed indentation bug: use proof-looking-at (proof-case-fold-search);Gravatar Makarius Wenzel1999-11-10
* Changed name of proof-shell-cd-cmd for uniformity.Gravatar David Aspinall1999-10-21
* This a try for commit, just changed the name of the maintainer of coq.elGravatar Pierre Courtieu1999-10-12
* Fix for Unnamed_thm: Coq really uses this identifier.Gravatar David Aspinall1999-10-06
* More improvements/fixes for closing unfinished proofs.Gravatar David Aspinall1999-10-06
* Made new command proof-cd to cd to the directory of the currentGravatar David Aspinall1999-10-06
* Fixed proof-showproof-commandGravatar David Aspinall1999-10-06
* Fixed coq-interrupt-regexp.Gravatar David Aspinall1999-10-06
* Remove coq-Search function, now generic.Gravatar David Aspinall1999-10-06
* Renamed some configuration variables for uniformity, see CHANGES.Gravatar David Aspinall1999-10-01
* Disable proof-help-string, was set to an invalid command.Gravatar David Aspinall1999-10-01
* Set proof-find-theorems-commandGravatar David Aspinall1999-09-23
* proof-completed-regexp: match number 1 is response text;Gravatar Makarius Wenzel1999-09-22
* Failed attempt to prevent Coq from starting up with display of current direct...Gravatar David Aspinall1999-09-13
* Set proof-{qed,save}-commands.Gravatar David Aspinall1999-09-13
* Missing parentheses added. Docstring fix.Gravatar David Aspinall1999-06-30
* last commit for 2.1Gravatar Patrick Loiseleur1999-06-30
* better syntaxGravatar Patrick Loiseleur1999-06-16
* Various updates. coq-end-Section now works properly.Gravatar Patrick Loiseleur1999-06-14
* various fixesGravatar Patrick Loiseleur1999-06-08
* renamed proof-commands-regexp to proof-indent-commands-regexp, whichGravatar Makarius Wenzel1999-05-27
* closed string in comment;Gravatar Makarius Wenzel1999-05-26
* I've added the custom option 'prog-name-guess' in the generic part andGravatar Patrick Loiseleur1999-05-17
* proof-list-global is disabled (must be rewritten)Gravatar Patrick Loiseleur1999-05-03
* Added the correct proof-shell-restart-cmdGravatar Patrick Loiseleur1999-04-20
* Merged changes sent by Patrick Loiseleur.Gravatar David Aspinall1999-04-07
* Comments from Healf explaining need for coq-goal-command-pGravatar David Aspinall1999-02-22
* fixed syntax entry for "_"Gravatar Thomas Kleymann1999-02-03
* Use proof-string-match in (hopefully) appropriate placesGravatar David Aspinall1999-02-01
* radical new version of Credits and References sectionGravatar Thomas Kleymann1998-12-15
* made many minor changes to the documentationGravatar Thomas Kleymann1998-12-15
* Added note about removing proof-goal-command-pGravatar David Aspinall1998-11-12
* Removed references of proof-shell-noise-regexpGravatar Thomas Kleymann1998-11-10
* fixed minor bugsGravatar Thomas Kleymann1998-11-02
* o added support for byte-compilationGravatar Thomas Kleymann1998-11-01
* More hacks to variable names for customize (sorry)Gravatar David Aspinall1998-10-29
* Begun work on clean byte compilation / clarifying interfaces.Gravatar David Aspinall1998-10-27
* Renamed proof-invisible-command proof-shell-invisible-command.Gravatar David Aspinall1998-10-27
* Change to proof-shell-ready-proverGravatar David Aspinall1998-10-26
* Added proof-mode-for-script setting.Gravatar David Aspinall1998-10-23
* support for nested goals is now restricted to CoqGravatar Thomas Kleymann1998-10-18
* Removed coq-settings defgroup, changed to coq.Gravatar David Aspinall1998-10-07
* changed maintainer information to lego@dcs and isabelle@dcs .Gravatar Thomas Kleymann1998-10-02
* Updated maintainer tags to remove lego email address.Gravatar David Aspinall1998-10-01
* Replaced string COMMENT by constant proof-no-command.Gravatar David Aspinall1998-10-01
* Removed history, added branding.Gravatar David Aspinall1998-09-23
* Fixed docstrings for derived modesGravatar David Aspinall1998-09-22
* Added some defcustom supportGravatar David Aspinall1998-09-03
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-30 03:00:01 +0000