aboutsummaryrefslogtreecommitdiff
path: root/coq/coq-syntax.el
AgeCommit message (Expand)Author
2004-02-26little changes of menu/holes/abbrev in coq/pgPierre Courtieu
2004-02-17Avoid type error if coq program can't be found during startup.David Aspinall
2004-02-11little error in the syntax corrected.Pierre Courtieu
2004-02-06adapting to coq-8.0.Pierre Courtieu
2003-02-24Fix some compile errorsDavid Aspinall
2003-02-20corrected a bug of pg/coq, the following line was not recognized as aPierre Courtieu
2003-02-16Added documentation string to the variables coq-version-is-V6 (new),Pierre Courtieu
2003-02-15Fixes so that compile worksDavid Aspinall
2003-02-04Coq/pg: fixed a little bug with the "Print Hint" state preservingPierre Courtieu
2003-02-03code cleaning + deals better with the new module system of Coq. DidPierre Courtieu
2003-01-24Fix hilight of Module Type?David Aspinall
2003-01-24Modifications for support of Coq-7.3.1+ and above (new module system).Pierre Courtieu
2002-08-31Improved implementation of zap-commas font lock behaviour, patch from Stefan ...David Aspinall
2002-08-30FormattingDavid Aspinall
2002-08-29Layout/docstring improvements (based on patch from Stefan Monnier)David Aspinall
2002-08-29Patch for nested comments from Stefan Monnier.David Aspinall
2002-08-28Patch from Stefan Monnier for syntax highlighting.David Aspinall
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-23 02:31:26 +0000