aboutsummaryrefslogtreecommitdiffhomepage
path: root/coq/coq-syntax.el
Commit message (Expand)AuthorAge
* *** empty log message ***Gravatar Pierre Courtieu2004-03-29
* V8/V7 reserved keywords for coqGravatar Pierre Courtieu2004-03-29
* coq < 8.0 menu and abbrevs.Gravatar Pierre Courtieu2004-03-19
* added proof-really-save-command-p to coq config, to deal with ProofGravatar Pierre Courtieu2004-03-11
* compile warning correctionsGravatar Pierre Courtieu2004-03-10
* indentation for coq completely re-coded, because the generic mechanismGravatar Pierre Courtieu2004-03-08
* Cleanup top-level forms (unused x binding)Gravatar David Aspinall2004-03-01
* Fix V7.4 -> V74Gravatar David Aspinall2004-03-01
* little changes of menu/holes/abbrev in coq/pgGravatar Pierre Courtieu2004-02-26
* Avoid type error if coq program can't be found during startup.Gravatar David Aspinall2004-02-17
* little error in the syntax corrected.Gravatar Pierre Courtieu2004-02-11
* adapting to coq-8.0.Gravatar Pierre Courtieu2004-02-06
* Fix some compile errorsGravatar David Aspinall2003-02-24
* corrected a bug of pg/coq, the following line was not recognized as aGravatar Pierre Courtieu2003-02-20
* Added documentation string to the variables coq-version-is-V6 (new),Gravatar Pierre Courtieu2003-02-16
* Fixes so that compile worksGravatar David Aspinall2003-02-15
* Coq/pg: fixed a little bug with the "Print Hint" state preservingGravatar Pierre Courtieu2003-02-04
* code cleaning + deals better with the new module system of Coq. DidGravatar Pierre Courtieu2003-02-03
* Fix hilight of Module Type?Gravatar David Aspinall2003-01-24
* Modifications for support of Coq-7.3.1+ and above (new module system).Gravatar Pierre Courtieu2003-01-24
* Improved implementation of zap-commas font lock behaviour, patch from Stefan ...Gravatar David Aspinall2002-08-31
* FormattingGravatar David Aspinall2002-08-30
* Layout/docstring improvements (based on patch from Stefan Monnier)Gravatar David Aspinall2002-08-29
* Patch for nested comments from Stefan Monnier.Gravatar David Aspinall2002-08-29
* Patch from Stefan Monnier for syntax highlighting.Gravatar David Aspinall2002-08-28
* Finished the changing of names of config. variables (coq-user...).Gravatar Pierre Courtieu2002-07-27
* Changed once again the backtrack mechanism, it corresponds to what weGravatar Pierre Courtieu2002-07-26
* Finished updating the commands and tactic lists of coq-syntax.el.Gravatar Pierre Courtieu2002-06-19
* updated the lists of commands and tactics in coq-syntax.el.Gravatar Pierre Courtieu2002-06-19
* Added the backtrack mechanism for sections. Seems to work.Gravatar Pierre Courtieu2002-06-18
* Added a function to inspect the prompt of Coq, in order to know if weGravatar Pierre Courtieu2002-06-18
* Added the coq-user-... elisp customization variables to allow the userGravatar Pierre Courtieu2002-06-11
* Modification of the coq-find-and-forget function, in order to use theGravatar Pierre Courtieu2002-05-29
* Added some new tactic namesGravatar Pierre Courtieu2002-05-29
* I am starting to make PG coqV7 compatible, I think the best is toGravatar Pierre Courtieu2000-11-23
* Added Uncaught exception errors in coq-error-regexp.Gravatar Pierre Courtieu2000-09-29
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-29 03:31:27 +0000