aboutsummaryrefslogtreecommitdiffhomepage
path: root/coq/coq.el
Commit message (Expand)AuthorAge
* Remove proof-shell-wakeup-char, proof-shell-prompt-pattern.Gravatar David Aspinall2009-09-06
* 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
* Made customizable holes mode completion in abbreviations.Gravatar Pierre Courtieu2009-08-31
* *** empty log message ***Gravatar David Aspinall2009-08-19
* Rename proof-shell-process-output -> proof-shell-classify-outputGravatar David Aspinall2009-08-14
* 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 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
* 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
* 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
* 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
* 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
* 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
* Remove coq-utf-safeGravatar 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
* Fix compilation problems and rearrange startup settings for coq-prog-name,coq...Gravatar David Aspinall2007-12-14
* Attempt to fix compile problemsGravatar David Aspinall2007-12-14
* Compatibility with coq trunk where some special symbols are removed.Gravatar Pierre Courtieu2007-12-12
* Emacs compatibility/API updates: string-to-int -> string-to-numberGravatar David Aspinall2007-12-10
* Fixup some compile warningsGravatar David Aspinall2007-12-09
* Add support for sending back literal commands reusing PBP markup mechanisms.Gravatar David Aspinall2007-08-14
* Fixed prompt regexp.Gravatar Pierre Courtieu2007-05-10
* Never use special chars with >= coq-8.1.Gravatar Pierre Courtieu2007-05-10
* Fixed coq prog persistent setting.Gravatar Pierre Courtieu2007-05-10
* Fixing auto shrink in coq three window mode, to avoid windowGravatar Pierre Courtieu2007-04-26
* Small fixes.Gravatar Pierre Courtieu2007-04-25
* Fixed bug 111. Scroll response window to see goal and as muchGravatar Pierre Courtieu2007-04-23
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-03 04:05:17 +0000