aboutsummaryrefslogtreecommitdiffhomepage
path: root/coq
Commit message (Expand)AuthorAge
* 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
* Remove faulty testGravatar David Aspinall2008-07-05
* Fixed example file for utf8.Gravatar Pierre Courtieu2008-06-06
* Fixed error highlighting for coq + utf-8. WORKS FOR EMACS-SNAPSHOT BUTGravatar Pierre Courtieu2008-06-06
* Raised coq undo stack size.Gravatar Pierre Courtieu2008-06-06
* Fixed a bug in coq guessing of command lineGravatar Pierre Courtieu2008-05-30
* Fixed a bug with abbrev table definition.Gravatar Pierre Courtieu2008-05-22
* Fixed a bug with local variable setting.Gravatar Pierre Courtieu2008-05-22
* Fixed a bug with coq-prog-name.Gravatar Pierre Courtieu2008-05-20
* Small fix with response buffer scrolling.Gravatar Pierre Courtieu2008-04-11
* fixed syntax table + thing-at-point.Gravatar Pierre Courtieu2008-03-05
* Add undo-depth setting and default it to 200, overriding Coq's 100 default.Gravatar David Aspinall2008-02-17
* Add mode documentationGravatar David Aspinall2008-02-04
* coq:cutomizable bound variable highlight (finally working)Gravatar Assia Mahboubi2008-02-01
* Update versions here.Gravatar David Aspinall2008-01-31
* Updated.Gravatar David Aspinall2008-01-31
* Revert last change, shell-command-to-string gives error when calledGravatar David Aspinall2008-01-31
* Use coq-prog-name when looking for library, not hard coded coqtopGravatar David Aspinall2008-01-31
* Use proof-locate-executable so works out-of-the-box on Windows.Gravatar David Aspinall2008-01-31
* Remove CVS merge junk!Gravatar David Aspinall2008-01-31
* updated CHANGESGravatar Assia Mahboubi2008-01-31
* coq : sorry, reverting previous buggy customizationGravatar Assia Mahboubi2008-01-30
* New files.Gravatar David Aspinall2008-01-30
* Added a boolean defcustom test to make optional the highlight of variablesGravatar Assia Mahboubi2008-01-30
* coq : changing highlight of solve, adding ExportGravatar Assia Mahboubi2008-01-30
* Added displaying of the number of goals in the modeline.Gravatar Pierre Courtieu2008-01-28
* Fixed indentation and goal display.Gravatar Pierre Courtieu2008-01-28
* Fixed a problem with a wrong side effect on syntax databases (whenGravatar Pierre Courtieu2008-01-28
* Patch and cleanup for Coq indent code, see http://proofgeneral.inf.ed.ac.uk/t...Gravatar David Aspinall2008-01-25
* Remove use of proof-assGravatar David Aspinall2008-01-24
* Updated.Gravatar David Aspinall2008-01-24
* New files.Gravatar David Aspinall2008-01-24
* Missing parenGravatar David Aspinall2008-01-24
* Fixes and cleanups for coq-indent-line, see Trac #172Gravatar David Aspinall2008-01-24
* Use featurep test for XEmacs. Set proof-shell-indentifier-under-mouse-cmd.Gravatar David Aspinall2008-01-17
* Updated.Gravatar David Aspinall2008-01-16
* Remove coq-utf-safeGravatar David Aspinall2008-01-15
* Deleted fileGravatar David Aspinall2008-01-15
* Many compatibility updates, bug fixes, rearrangements for compilation.Gravatar David Aspinall2008-01-15
* Fixed abbrev installation. + small fixes.Gravatar Pierre Courtieu2008-01-03
* Fixed the "proof completed" regexp.Gravatar Pierre Courtieu2008-01-03
* Require for defface macroGravatar David Aspinall2007-12-14
* Fix compilation problems and rearrange startup settings for coq-prog-name,coq...Gravatar David Aspinall2007-12-14
* Remove eval-when, seems unreliableGravatar David Aspinall2007-12-14
* Attempt to fix compile problemsGravatar David Aspinall2007-12-14
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-23 11:23:24 +0000