aboutsummaryrefslogtreecommitdiffhomepage
path: root/coq/coq-syntax.el
Commit message (Expand)AuthorAge
* Some changes for undoing with coq, handle user-defined tactics, inGravatar Pierre Courtieu2000-08-26
* somme little changes to make undo work betterGravatar Pierre Courtieu2000-06-22
* More decorationGravatar David Aspinall2000-04-07
* Altered syntax a little bit so reset works for Section.Gravatar David Aspinall2000-03-19
* fixed some regexp via proof-anchor-regexp;Gravatar Makarius Wenzel1999-07-02
* 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
* several additions, as usualGravatar Patrick Loiseleur1999-05-17
* OrElse -> OrelseGravatar Patrick Loiseleur1999-05-03
* 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
* Added note about removing proof-goal-command-pGravatar David Aspinall1998-11-12
* fixed bug with font-lock face namesGravatar Thomas Kleymann1998-11-03
* o added support for byte-compilationGravatar Thomas Kleymann1998-11-01
* Replaced remaining face defs with defface calls.Gravatar David Aspinall1998-10-23
* 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
* Removed historyGravatar David Aspinall1998-09-23
* Fixup branch numberGravatar David Aspinall1998-09-09
* Renamed for new subdirectory structureGravatar David Aspinall1998-09-03
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-03 03:16:15 +0000