Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Replace proof-terminal-char with proof-terminal-string. | 2010-08-27 | |
| | |||
* | Fix for Trac #343 | 2010-08-27 | |
| | |||
* | Make tests succeed, although still two or three underlying bugs | 2010-08-25 | |
| | |||
* | coq-find-and-forget: re-enable trivial optimisation (is it really | 2010-08-25 | |
| | | | | slow in Coq to issue a trivial backtrack to the same spot?) | ||
* | Revert 10.51. proof-script-command-end-regexp: non-letters after | 2010-08-25 | |
| | | | | periods are used in some notations (e.g. SSReflect). See Trac #296. | ||
* | coq-set-state-infos: attempt to fix sync problem here | 2010-08-24 | |
| | |||
* | proof-script-command-end-regexp: include \' for end of buffer again | 2010-08-24 | |
| | |||
* | proof-script-command-end-regexp: allow any non-letter after a period | 2010-08-24 | |
| | | | | | to terminate a command, fixing #296 (and hopefully not messing up other cases). | ||
* | More whitespace changes | 2010-08-24 | |
| | |||
* | Cleanups for Elisp formatting conventions. | 2010-08-24 | |
| | | | | Fix tags handling to work for GNU Emacs etags.el | ||
* | Minor cleanups | 2010-08-24 | |
| | |||
* | coq-comment-at-point: avoid error if command start not found | 2010-08-24 | |
| | | | | (see Trac #342) | ||
* | Change binding for coq-PrintHint as suggested in Trac #341 | 2010-08-22 | |
| | |||
* | Remove superfluous spaces (re Trac #331). | 2010-08-15 | |
| | |||
* | Moved files | 2010-08-15 | |
| | |||
* | More tests | 2010-08-13 | |
| | |||
* | coq-highlight-error: make robust against proof script buffer deactivating | 2010-08-13 | |
| | |||
* | Comment out some lines so that processes. | 2010-08-13 | |
| | |||
* | Updated. | 2010-08-13 | |
| | |||
* | Renamed file | 2010-08-13 | |
| | |||
* | Remove deliberately buggy code at the end (Coq seems to be fixed) | 2010-08-11 | |
| | |||
* | Try to fix processing of this file | 2010-08-11 | |
| | |||
* | Update | 2010-08-03 | |
| | |||
* | proof-last-locked-span: save-excursion -> with-current-buffer to avoid | 2010-07-01 | |
| | | | | spurious warning in Emacs 23.2 | ||
* | Fixing the behaviour of the responses-freeze window. | 2010-05-17 | |
| | |||
* | Allow SearchAbout to deal with complex queries. | 2010-05-17 | |
| | |||
* | Added a "remember this" window. Experimental. | 2010-05-17 | |
| | |||
* | Fix coq error utf8 underlining with coq-8.3beta. | 2010-04-12 | |
| | |||
* | Change of type for proof-script-span-context-menu-extensions | 2009-12-03 | |
| | |||
* | Point to Trac #313 | 2009-12-01 | |
| | |||
* | Comments | 2009-12-01 | |
| | |||
* | Replace proof-locked-end -> proof-unprocessed-begin | 2009-11-30 | |
| | |||
* | Small Fix (again). | 2009-11-20 | |
| | |||
* | Small Fix. | 2009-11-20 | |
| | |||
* | Fix. | 2009-11-11 | |
| | |||
* | fix | 2009-11-10 | |
| | |||
* | Fixing insertion case for c-c c-a c-i + cleaning. | 2009-11-10 | |
| | |||
* | Added keyboard shortcut in goals buffer. | 2009-10-15 | |
| | |||
* | Some more tokens | 2009-10-02 | |
| | |||
* | Functions find-and-forget and count-undos now return lists of commands | 2009-09-28 | |
| | |||
* | Added some more syntax keywords. Made admit tactic with its own red | 2009-09-17 | |
| | | | | culpabilizing face. | ||
* | Added some syntax keywords thanks to Mathieu Sozeau. | 2009-09-17 | |
| | |||
* | Fixed error highlighting with utf8. | 2009-09-17 | |
| | |||
* | Fix compile warnings | 2009-09-16 | |
| | |||
* | Fix highlighting of error region | 2009-09-15 | |
| | |||
* | Surpress warnings for dynamic scoping | 2009-09-14 | |
| | |||
* | Remove proof-strict-read-only-toggle call (no longer defined, and | 2009-09-14 | |
| | | | | | anyway wrong technique). Instead use inhibit-read-only to allow write in possibly read-only area. | ||
* | Change mode names | 2009-09-14 | |
| | |||
* | Move (require 'local-vars-list) to coq-local-vars | 2009-09-10 | |
| | |||
* | Move (require 'local-vars-list) from coq.el | 2009-09-10 | |
| |