aboutsummaryrefslogtreecommitdiffhomepage
path: root/coq
Commit message (Expand)AuthorAge
* Add some more tokens for making pretty picturesGravatar David Aspinall2010-10-10
* coq-find-and-forget: Allow undoing prover processed regionsGravatar David Aspinall2010-10-10
* coq-generic-expression: fix this to match symbols, not merely words.Gravatar David Aspinall2010-10-10
* Fixes in strings/comments from Erik Martin-DorelGravatar David Aspinall2010-10-04
* coq-insert-solve-tactic: added (credit:Erik Martin-Dorel, patch from trac #35...Gravatar David Aspinall2010-10-04
* Rename span-add-self-removing-spanGravatar David Aspinall2010-10-01
* coq-highlight-error: use span-add-self-removing-span (highlight and removal i...Gravatar David Aspinall2010-10-01
* coq-allow-highlight-error: remove this setting, now proof-shell-error-or-inte...Gravatar David Aspinall2010-10-01
* ReFixed bug trac 356.Gravatar Pierre Courtieu2010-10-01
* Add key binding fixes from Erik Martin-Dorel (see Trac#359).Gravatar David Aspinall2010-10-01
* Update version numbers, release datesGravatar David Aspinall2010-10-01
* Fixed redundant undo limit custom variables.Gravatar Pierre Courtieu2010-09-28
* 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
* Revert last change, version from Pierre is cleaner.Gravatar David Aspinall2010-09-09
* Hack regexps so that goals are cleared on Proof Completed. message. Unfortun...Gravatar David Aspinall2010-09-09
* Fixed the cleaning of goals buffer when proof completedGravatar Pierre Courtieu2010-09-09
* Moved the modeline dislpay of open goals to scripting buffer.Gravatar Pierre Courtieu2010-09-09
* Cleaning indentation code.Gravatar Pierre Courtieu2010-09-09
* Fixed indentation at end of file.Gravatar Pierre Courtieu2010-09-09
* Fixed small bugs in indentation.Gravatar Pierre Courtieu2010-09-09
* illustrating the wrongness of the current multifile processing for coq.Gravatar Pierre Courtieu2010-09-08
* Added three files for testing multi file scripting.Gravatar Pierre Courtieu2010-09-08
* Adjust configuration setting for automatic multiple files handlingGravatar David Aspinall2010-09-08
* Fix compileGravatar David Aspinall2010-09-08
* Add simple clear test for multiple files without requireGravatar David Aspinall2010-09-08
* Finished fixing the small indentation bug at buffer top.Gravatar Pierre Courtieu2010-09-07
* Fix of previous commit.Gravatar Pierre Courtieu2010-09-07
* half fixed the indentation bug at buffer start.Gravatar Pierre Courtieu2010-09-07
* Minor clean up of comments while reading codeGravatar David Aspinall2010-09-06
* Fixed a bug in coq "set prog args persistently".Gravatar Pierre Courtieu2010-09-06
* 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 experimental feature of storing response or goal in a persistentGravatar Pierre Courtieu2010-09-01
* Fixed bug #346. Coq code was using proof-ids-to-regexp on regexpGravatar Pierre Courtieu2010-09-01
* Style fixesGravatar David Aspinall2010-08-30
* Fix commentGravatar David Aspinall2010-08-30
* Fix syntax for Local prefix (see Trac #348)Gravatar David Aspinall2010-08-30
* Response freeze given non special buffer name (Trac #347)Gravatar David Aspinall2010-08-30
* Replace proof-terminal-char with proof-terminal-string.Gravatar David Aspinall2010-08-27
* Fix for Trac #343Gravatar David Aspinall2010-08-27
* Make tests succeed, although still two or three underlying bugsGravatar David Aspinall2010-08-25
* coq-find-and-forget: re-enable trivial optimisation (is it reallyGravatar David Aspinall2010-08-25
* Revert 10.51. proof-script-command-end-regexp: non-letters afterGravatar David Aspinall2010-08-25
* coq-set-state-infos: attempt to fix sync problem hereGravatar David Aspinall2010-08-24
* proof-script-command-end-regexp: include \' for end of buffer againGravatar David Aspinall2010-08-24
* proof-script-command-end-regexp: allow any non-letter after a periodGravatar David Aspinall2010-08-24
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-23 14:02:33 +0000