aboutsummaryrefslogtreecommitdiffhomepage
path: root/coq/coq-syntax.el
Commit message (Expand)AuthorAge
...
* Fixed the "Time Qed." mistreating (now recognized as a save commandGravatar Pierre Courtieu2007-04-26
* Added some unknown keyword (not changing state). Fixes bug 113 from emakarov.MGravatar Pierre Courtieu2007-04-26
* small coloring fix.Gravatar Pierre Courtieu2007-04-23
* Small fixes from Stefan Monnier.Gravatar Pierre Courtieu2007-04-16
* Made coq version 8.1 the default.Gravatar Pierre Courtieu2007-04-16
* Added some keywords ("Declare Module Import"...).Gravatar Pierre Courtieu2006-12-22
* Fixed coq 8.0 compatibility and coq version detection.Gravatar Pierre Courtieu2006-12-12
* Added Goal as a goal starter in syntax db.Gravatar Pierre Courtieu2006-09-07
* Trying to mae indentation aware of nested comments (to be simplifiedGravatar Pierre Courtieu2006-09-04
* fixes again in syntax databases.Gravatar Pierre Courtieu2006-08-25
* fix in syntax tables.Gravatar Pierre Courtieu2006-08-25
* Small fixes on syntax tables.Gravatar Pierre Courtieu2006-08-25
* Adding commentsGravatar Pierre Courtieu2006-08-25
* Small fixes.Gravatar Pierre Courtieu2006-08-25
* Changed default coq version (8.1)Gravatar Pierre Courtieu2006-08-25
* added a CHANGES file for coq directoryGravatar Pierre Courtieu2006-08-25
* Fixed a small bug in indentation of coq.Gravatar Pierre Courtieu2006-08-25
* fixing a bug introduced lately (coq-save-command-p *needs* two argsGravatar Pierre Courtieu2006-08-24
* Fixed indentation and font-lock for coq. Better, faster.Gravatar Pierre Courtieu2006-08-23
* Coq indentation small fixes.Gravatar Pierre Courtieu2006-08-23
* Cleaning in coq and lib, fixed licenses and docstrings.Gravatar Pierre Courtieu2006-08-23
* Making non recursive functions to make fsf emacs happy, not yet finished.Gravatar Pierre Courtieu2006-08-22
* Big redesign of the coq syntax defintion, centralization in big tablesGravatar Pierre Courtieu2006-08-22
* Menus redesign, new interactive tactics/commands/termsGravatar Pierre Courtieu2006-08-21
* Started the coq-insert-tactic.Gravatar Pierre Courtieu2006-08-21
* fixed a bug with scripting with coq v8.0.Gravatar Pierre Courtieu2006-07-20
* section backtracking bug fixed.Gravatar Pierre Courtieu2006-06-13
* Fix to work with coq 8.1 again (havent tested 8.0)Gravatar David Aspinall2006-05-26
* Changed the type of proof-goal-command-p. It takes now a span, whichGravatar Pierre Courtieu2006-04-26
* made coq error regexp more preciseGravatar Pierre Courtieu2006-02-16
* Cleanup version testing, prevent crash in case version string doesn't match.Gravatar David Aspinall2006-02-09
* added some keyword to coq tacics.Gravatar Pierre Courtieu2005-11-28
* Documentation.Gravatar David Aspinall2005-05-17
* New backtracking system for coq continues, this time it uses a new CoqGravatar Pierre Courtieu2005-04-20
* Deleted compatibility for coq v6 and v7 + new backtracking system. ForGravatar Pierre Courtieu2005-02-10
* Patch from Stefan Monnier:Gravatar David Aspinall2005-01-28
* Fixed Coq version detection at start.Gravatar Pierre Courtieu2004-07-23
* adding the "Comments" keyword in state-preserving commands.Gravatar Pierre Courtieu2004-05-11
* added "User error" to error message (had already "User Error").Gravatar Pierre Courtieu2004-05-07
* bug fix with terminal regexp (pb with :"unfold foo in |- *.")Gravatar Pierre Courtieu2004-05-06
* Fix typo.Gravatar David Aspinall2004-04-15
* added some tactical names for coq.Gravatar Pierre Courtieu2004-04-15
* little change in CHANGES and in coq syntax table.Gravatar Pierre Courtieu2004-04-15
* added basic support for imenu for coq.Gravatar Pierre Courtieu2004-04-14
* added the "return" keyword to coqGravatar Pierre Courtieu2004-04-14
* *** 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-28 01:58:58 +0000