aboutsummaryrefslogtreecommitdiffhomepage
path: root/coq
Commit message (Expand)AuthorAge
* 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
* Emulate old behaviour after allGravatar David Aspinall2009-08-06
* Remove asterisks from docstrings of pacustoms (will appear in menus now)Gravatar David Aspinall2009-07-30
* Cleanup more Emacs compatibilityGravatar David Aspinall2009-05-27
* fixed a bug with region-exists-p not defined in some emacsen.Gravatar Pierre Courtieu2009-04-16
* fixed a bad interaction with Coq -R optionGravatar Assia Mahboubi2009-03-17
* Fixing parenthesis not accepted by recent emacs anymore. fix by StefanGravatar Pierre Courtieu2008-10-22
* Fixing region access for emacs <= 22.Gravatar Pierre Courtieu2008-10-02
* Fixed the bug with coq-guess-command-line.Gravatar Pierre Courtieu2008-07-24
* Merge changes from Version4Branch.Gravatar David Aspinall2008-07-24
* Fixed http://proofgeneral.inf.ed.ac.uk/trac/ticket/233Gravatar David Aspinall2008-07-24
* Deleted fileGravatar David Aspinall2008-07-22
* Changed the main menu of coq. Changed a shortcut for holes.Gravatar Pierre Courtieu2008-07-21
* todo added fo coq.Gravatar Pierre Courtieu2008-07-21
* unicode shortcut alist: literal backslash instead of strange control sequence...Gravatar Makarius Wenzel2008-07-07
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-03 17:32:20 +0000