aboutsummaryrefslogtreecommitdiffhomepage
path: root/coq
Commit message (Expand)AuthorAge
* Remove superfluous spaces (re Trac #331).Gravatar David Aspinall2010-08-15
* Moved filesGravatar David Aspinall2010-08-15
* More testsGravatar David Aspinall2010-08-13
* coq-highlight-error: make robust against proof script buffer deactivatingGravatar David Aspinall2010-08-13
* Comment out some lines so that processes.Gravatar David Aspinall2010-08-13
* Updated.Gravatar David Aspinall2010-08-13
* Renamed fileGravatar David Aspinall2010-08-13
* Remove deliberately buggy code at the end (Coq seems to be fixed)Gravatar David Aspinall2010-08-11
* Try to fix processing of this fileGravatar David Aspinall2010-08-11
* UpdateGravatar David Aspinall2010-08-03
* proof-last-locked-span: save-excursion -> with-current-buffer to avoidGravatar David Aspinall2010-07-01
* Fixing the behaviour of the responses-freeze window.Gravatar Pierre Courtieu2010-05-17
* Allow SearchAbout to deal with complex queries.Gravatar Pierre Courtieu2010-05-17
* Added a "remember this" window. Experimental.Gravatar Pierre Courtieu2010-05-17
* Fix coq error utf8 underlining with coq-8.3beta.Gravatar Pierre Courtieu2010-04-12
* Change of type for proof-script-span-context-menu-extensionsGravatar David Aspinall2009-12-03
* Point to Trac #313Gravatar David Aspinall2009-12-01
* CommentsGravatar David Aspinall2009-12-01
* Replace proof-locked-end -> proof-unprocessed-beginGravatar David Aspinall2009-11-30
* Small Fix (again).Gravatar Pierre Courtieu2009-11-20
* Small Fix.Gravatar Pierre Courtieu2009-11-20
* Fix.Gravatar Pierre Courtieu2009-11-11
* fixGravatar Pierre Courtieu2009-11-10
* Fixing insertion case for c-c c-a c-i + cleaning.Gravatar Pierre Courtieu2009-11-10
* Added keyboard shortcut in goals buffer.Gravatar Pierre Courtieu2009-10-15
* Some more tokensGravatar David Aspinall2009-10-02
* Functions find-and-forget and count-undos now return lists of commandsGravatar David Aspinall2009-09-28
* 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
* Fixed error highlighting with utf8.Gravatar Pierre Courtieu2009-09-17
* Fix compile warningsGravatar David Aspinall2009-09-16
* Fix highlighting of error regionGravatar David Aspinall2009-09-15
* Surpress warnings for dynamic scopingGravatar David Aspinall2009-09-14
* Remove proof-strict-read-only-toggle call (no longer defined, andGravatar David Aspinall2009-09-14
* Change mode namesGravatar David Aspinall2009-09-14
* Move (require 'local-vars-list) to coq-local-varsGravatar David Aspinall2009-09-10
* Move (require 'local-vars-list) from coq.elGravatar David Aspinall2009-09-10
* Add back font-lock setting for shell (can turn on/off inside).Gravatar David Aspinall2009-09-10
* Clean compileGravatar David Aspinall2009-09-10
* Fix compilation for Coq, including requires and some old/renamed settings.Gravatar David Aspinall2009-09-10
* Another V-8-1 testGravatar David Aspinall2009-09-09
* Remove more V8 compatibility (thanks to Pierre for carefully highlighting it)Gravatar David Aspinall2009-09-09
* Remove Coq 8.0 codeGravatar David Aspinall2009-09-08
* Remove some spacesGravatar David Aspinall2009-09-08
* Remove more of 80 codeGravatar David Aspinall2009-09-08
* Simplify coq-find-and-forget and drop v80 versionGravatar David Aspinall2009-09-08
* Remove system-specific code as message before goals handled in core now. Alte...Gravatar David Aspinall2009-09-08
* CommentsGravatar David Aspinall2009-09-08
* CommentsGravatar David Aspinall2009-09-08
* Oops: repair hybrid output broken by two window fix! See trac #109.Gravatar David Aspinall2009-09-08
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-06 21:33:30 +0000