aboutsummaryrefslogtreecommitdiffhomepage
path: root/coq
Commit message (Expand)AuthorAge
* 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
* Repair two-window working mode for when Coq doesn't produce hybrid output.Gravatar David Aspinall2009-09-08
* Fix compiler warnings.Gravatar David Aspinall2009-09-07
* (C) dateGravatar David Aspinall2009-09-07
* Fix compile warnings and ensure compiled code behaves as expected.Gravatar David Aspinall2009-09-07
* Fix compile warning, rearrange docsGravatar David Aspinall2009-09-07
* Require cl for compilation. Rearrange docs.Gravatar David Aspinall2009-09-07
* Update for Unicode Tokens.Gravatar David Aspinall2009-09-07
* Add documentation to explain usage.Gravatar David Aspinall2009-09-07
* Move holes menu to holes modeGravatar David Aspinall2009-09-06
* Remove proof-shell-wakeup-char, proof-shell-prompt-pattern.Gravatar David Aspinall2009-09-06
* Moved doc of holes to holes-modeGravatar David Aspinall2009-09-06
* Missing requireGravatar David Aspinall2009-09-05
* Clean whitespaceGravatar David Aspinall2009-09-05
* replace-in-string-> replace-regexp-in-stringGravatar David Aspinall2009-09-05
* Remove proof-shell-prompt-pattern, no longer used.Gravatar David Aspinall2009-09-04
* Remove proof-no-commandGravatar David Aspinall2009-09-04
* Remove some old X-Symbol references.Gravatar David Aspinall2009-09-01
* Spurious 'isabelle ref.Gravatar David Aspinall2009-09-01
* Merge in Isar and Coq bugsGravatar David Aspinall2009-08-31
* Made customizable holes mode completion in abbreviations.Gravatar Pierre Courtieu2009-08-31
* Move fontsymb properties to library file.Gravatar David Aspinall2009-08-28
* Doc fixGravatar David Aspinall2009-08-28
* *** empty log message ***Gravatar David Aspinall2009-08-19
* Minor changes from Stefan Monnier's patchGravatar David Aspinall2009-08-17
* Rename proof-shell-process-output -> proof-shell-classify-outputGravatar David Aspinall2009-08-14
* Add indirection for setting unicode tokens variables to add customize menu op...Gravatar David Aspinall2009-08-12
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-01 06:01:39 +0000