aboutsummaryrefslogtreecommitdiff
path: root/coq/coq-syntax.el
AgeCommit message (Expand)Author
2002-07-27Finished the changing of names of config. variables (coq-user...).Pierre Courtieu
2002-07-26Changed once again the backtrack mechanism, it corresponds to what wePierre Courtieu
2002-06-19Finished updating the commands and tactic lists of coq-syntax.el.Pierre Courtieu
2002-06-19updated the lists of commands and tactics in coq-syntax.el.Pierre Courtieu
2002-06-18Added the backtrack mechanism for sections. Seems to work.Pierre Courtieu
2002-06-18Added a function to inspect the prompt of Coq, in order to know if wePierre Courtieu
2002-06-11Added the coq-user-... elisp customization variables to allow the userPierre Courtieu
2002-05-29Modification of the coq-find-and-forget function, in order to use thePierre Courtieu
2002-05-29Added some new tactic namesPierre Courtieu
2000-11-23I am starting to make PG coqV7 compatible, I think the best is toPierre Courtieu
2000-09-29Added Uncaught exception errors in coq-error-regexp.Pierre Courtieu
2000-08-26Some changes for undoing with coq, handle user-defined tactics, inPierre Courtieu
2000-06-22somme little changes to make undo work betterPierre Courtieu
2000-04-07More decorationDavid Aspinall
2000-03-19Altered syntax a little bit so reset works for Section.David Aspinall
1999-07-02fixed some regexp via proof-anchor-regexp;Makarius Wenzel
1999-06-30keywords of coq 6.3Patrick Loiseleur
1999-06-21Hints ResolvePatrick Loiseleur
1999-06-16better syntaxPatrick Loiseleur
1999-06-14Various updates. coq-end-Section now works properly.Patrick Loiseleur
1999-06-09More colors, more regexps, more keywordsPatrick Loiseleur
1999-05-17several additions, as usualPatrick Loiseleur
1999-05-03OrElse -> OrelsePatrick Loiseleur
1999-04-20A few coloring tricksPatrick Loiseleur
1999-04-07Merged changes sent by Patrick Loiseleur.David Aspinall
1999-02-22Comments from Healf explaining need for coq-goal-command-pDavid Aspinall
1998-11-12Added note about removing proof-goal-command-pDavid Aspinall
1998-11-03fixed bug with font-lock face namesThomas Kleymann
1998-11-01o added support for byte-compilationThomas Kleymann
1998-10-23Replaced remaining face defs with defface calls.David Aspinall
1998-10-02changed maintainer information to lego@dcs and isabelle@dcs .Thomas Kleymann
1998-10-01Updated maintainer tags to remove lego email address.David Aspinall
1998-09-23Removed historyDavid Aspinall
1998-09-09Fixup branch numberDavid Aspinall
1998-09-03Renamed for new subdirectory structureDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-24 09:40:43 +0000