aboutsummaryrefslogtreecommitdiffhomepage
path: root/coq/coq-syntax.el
Commit message (Expand)AuthorAge
...
* Added some syntax keywords thanks to Mathieu Sozeau.Gravatar Pierre Courtieu2009-09-17
* Clean compileGravatar David Aspinall2009-09-10
* Fix compilation for Coq, including requires and some old/renamed settings.Gravatar David Aspinall2009-09-10
* Remove Coq 8.0 codeGravatar David Aspinall2009-09-08
* Remove more of 80 codeGravatar David Aspinall2009-09-08
* Fix compile warnings and ensure compiled code behaves as expected.Gravatar David Aspinall2009-09-07
* Clean whitespaceGravatar David Aspinall2009-09-05
* Made customizable holes mode completion in abbreviations.Gravatar Pierre Courtieu2009-08-31
* Minor changes from Stefan Monnier's patchGravatar David Aspinall2009-08-17
* Merge changes from Version4Branch.Gravatar David Aspinall2008-07-24
* todo added fo coq.Gravatar Pierre Courtieu2008-07-21
* Fixed a bug with coq-prog-name.Gravatar Pierre Courtieu2008-05-20
* Small fix with response buffer scrolling.Gravatar Pierre Courtieu2008-04-11
* fixed syntax table + thing-at-point.Gravatar Pierre Courtieu2008-03-05
* coq:cutomizable bound variable highlight (finally working)Gravatar Assia Mahboubi2008-02-01
* Updated.Gravatar David Aspinall2008-01-31
* Use proof-locate-executable so works out-of-the-box on Windows.Gravatar David Aspinall2008-01-31
* Remove CVS merge junk!Gravatar David Aspinall2008-01-31
* updated CHANGESGravatar Assia Mahboubi2008-01-31
* coq : sorry, reverting previous buggy customizationGravatar Assia Mahboubi2008-01-30
* Added a boolean defcustom test to make optional the highlight of variablesGravatar Assia Mahboubi2008-01-30
* coq : changing highlight of solve, adding ExportGravatar Assia Mahboubi2008-01-30
* Fixed indentation and goal display.Gravatar Pierre Courtieu2008-01-28
* Fixed a problem with a wrong side effect on syntax databases (whenGravatar Pierre Courtieu2008-01-28
* Many compatibility updates, bug fixes, rearrangements for compilation.Gravatar David Aspinall2008-01-15
* Fixed abbrev installation. + small fixes.Gravatar Pierre Courtieu2008-01-03
* Fix compilation problems and rearrange startup settings for coq-prog-name,coq...Gravatar David Aspinall2007-12-14
* Attempt to fix compile problemsGravatar David Aspinall2007-12-14
* coq-goal-command-str-p: Fix suspected typo shown up by compile warning.Gravatar David Aspinall2007-12-14
* Compatibility with coq trunk where some special symbols are removed.Gravatar Pierre Courtieu2007-12-12
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-19 16:10:17 +0000