aboutsummaryrefslogtreecommitdiffhomepage
path: root/coq
Commit message (Expand)AuthorAge
* Cleaned up example files so all demonstrate same theorem "conj_comms".Gravatar David Aspinall1999-09-13
* Set proof-{qed,save}-commands.Gravatar David Aspinall1999-09-13
* Updated from Coq 6.3 distrib.Gravatar David Aspinall1999-08-23
* Updates suggested by Markus and Patrick for Coq 6.3.Gravatar David Aspinall1999-08-23
* fixed some regexp via proof-anchor-regexp;Gravatar Makarius Wenzel1999-07-02
* Missing parentheses added. Docstring fix.Gravatar David Aspinall1999-06-30
* last commit for 2.1Gravatar Patrick Loiseleur1999-06-30
* keywords of coq 6.3Gravatar Patrick Loiseleur1999-06-30
* Hints ResolveGravatar Patrick Loiseleur1999-06-21
* better syntaxGravatar Patrick Loiseleur1999-06-16
* Various updates. coq-end-Section now works properly.Gravatar Patrick Loiseleur1999-06-14
* More colors, more regexps, more keywordsGravatar Patrick Loiseleur1999-06-09
* 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
* several additions, as usualGravatar Patrick Loiseleur1999-05-17
* OrElse -> OrelseGravatar Patrick Loiseleur1999-05-03
* proof-list-global is disabled (must be rewritten)Gravatar Patrick Loiseleur1999-05-03
* Added the correct proof-shell-restart-cmdGravatar Patrick Loiseleur1999-04-20
* A few coloring tricksGravatar 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 bug with font-lock face namesGravatar Thomas Kleymann1998-11-03
* 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
* Replaced remaining face defs with defface calls.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
* coqtags is now Perl5 compatible - courtesy of hhgGravatar Thomas Kleymann1998-10-01
* Example file suggested by Healf.Gravatar David Aspinall1998-09-23
* Removed historyGravatar David Aspinall1998-09-23
* Removed history, added branding.Gravatar David Aspinall1998-09-23
* Fixed docstrings for derived modesGravatar David Aspinall1998-09-22
* Added Id to headers.Gravatar David Aspinall1998-09-09
* Fixup branch numberGravatar David Aspinall1998-09-09
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-16 20:24:26 +0000