aboutsummaryrefslogtreecommitdiffhomepage
path: root/coq/coq-syntax.el
Commit message (Expand)AuthorAge
* Print Coercions added to coq-syntaxGravatar Assia Mahboubi2007-12-07
* Corollary added to Coq startersGravatar Assia Mahboubi2007-12-05
* coq solve tacs modifiedGravatar Assia Mahboubi2007-11-30
* colouring for Reserved NotationsGravatar Assia Mahboubi2007-11-26
* removed 'by'form coq-reserved and added it to coq-solve-tacticsGravatar Assia Mahboubi2007-11-20
* adding coq-solve tacticsGravatar Assia Mahboubi2007-11-20
* coq-user-reserved-db addedGravatar Assia Mahboubi2007-11-16
* test commit : added Structure to coq-defn-dbGravatar Assia Mahboubi2007-11-16
* Fix http://proofgeneral.inf.ed.ac.uk/trac/ticket/160Gravatar David Aspinall2007-11-12
* fixing small font-lock bug with ssreflect syntax.Gravatar Pierre Courtieu2007-11-08
* Debugging font-lock regexp.Gravatar Pierre Courtieu2007-11-07
* Menu are now correctly sorted.Gravatar Pierre Courtieu2007-11-07
* Debugging font-lock regexp.Gravatar Pierre Courtieu2007-11-07
* Debugging font-lock regexps. Bad order: longer regexp should be putGravatar Pierre Courtieu2007-11-07
* Fixed colorization bugs reported by Assai MAhboubi, this commit isGravatar Pierre Courtieu2007-10-30
* Bug fixed. Reported by Assia Mahboubi.Gravatar Pierre Courtieu2007-10-30
* Fixed a bug on custom vars (bad :type) + Added a customizable user varGravatar Pierre Courtieu2007-10-29
* Added new keywords.Gravatar Pierre Courtieu2007-07-12
* Fix #114: syntax highlighting mistake for identifiers beginning with fun/forall.Gravatar David Aspinall2007-05-25
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-13 15:10:10 +0000