aboutsummaryrefslogtreecommitdiffhomepage
path: root/coq/coq-syntax.el
Commit message (Expand)AuthorAge
* Move coq-prog-name back to coq.elGravatar David Aspinall2011-08-23
* Fixing track 414 by adding Preterm as a state preserving command.Gravatar Pierre Courtieu2011-07-29
* Updated the old code for indentation, in case Stefan cannot finish theGravatar Pierre Courtieu2011-06-04
* Added indentation for BeginSubProof/EndSubProof.Gravatar Pierre Courtieu2011-05-31
* Fixed #394. There is a bug with kfont-lock-keywords. The workaround isGravatar Pierre Courtieu2011-05-17
* * fix overwriting setq coq-prog-name before loading Proof GeneralGravatar Hendrik Tews2011-04-15
* Add preliminary support for multiple files for coq.Gravatar Hendrik Tews2011-01-12
* coq-generic-expression: fix this to match symbols, not merely words.Gravatar David Aspinall2010-10-10
* ReFixed bug trac 356.Gravatar Pierre Courtieu2010-10-01
* Fixed colorization bug #356, introduced by a previous fix of bug 140.Gravatar Pierre Courtieu2010-09-28
* Fix bug trac 140 by writing a cleaner regexp than (proof-ids ... " ").Gravatar Pierre Courtieu2010-09-22
* Fix some bugs in coq regexp generationGravatar David Aspinall2010-09-22
* Remove support for Emacs <21 in syntax tableGravatar David Aspinall2010-09-22
* Cleaning indentation code.Gravatar Pierre Courtieu2010-09-09
* Fixed indentation which was broken by a previous commit.Gravatar Pierre Courtieu2010-09-03
* Adding some keywords.Gravatar Pierre Courtieu2010-09-03
* First fix of bug introduced by the last font-lock fix. Not finished.Gravatar Pierre Courtieu2010-09-03
* Fixed bug #346. Coq code was using proof-ids-to-regexp on regexpGravatar Pierre Courtieu2010-09-01
* Fix commentGravatar David Aspinall2010-08-30
* Fix syntax for Local prefix (see Trac #348)Gravatar David Aspinall2010-08-30
* Added a "remember this" window. Experimental.Gravatar Pierre Courtieu2010-05-17
* Added some more syntax keywords. Made admit tactic with its own redGravatar Pierre Courtieu2009-09-17
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-20 08:21:33 +0000