aboutsummaryrefslogtreecommitdiff
path: root/coq
AgeCommit message (Expand)Author
2009-04-16fixed a bug with region-exists-p not defined in some emacsen.Pierre Courtieu
2009-03-17fixed a bad interaction with Coq -R optionAssia Mahboubi
2008-10-22Fixing parenthesis not accepted by recent emacs anymore. fix by StefanPierre Courtieu
2008-10-02Fixing region access for emacs <= 22.Pierre Courtieu
2008-07-24Fixed the bug with coq-guess-command-line.Pierre Courtieu
2008-07-24Merge changes from Version4Branch.David Aspinall
2008-07-24Fixed http://proofgeneral.inf.ed.ac.uk/trac/ticket/233David Aspinall
2008-07-22Deleted fileDavid Aspinall
2008-07-21Changed the main menu of coq. Changed a shortcut for holes.Pierre Courtieu
2008-07-21todo added fo coq.Pierre Courtieu
2008-07-07unicode shortcut alist: literal backslash instead of strange control sequence...Makarius Wenzel
2008-07-05Remove faulty testDavid Aspinall
2008-06-06Fixed example file for utf8.Pierre Courtieu
2008-06-06Fixed error highlighting for coq + utf-8. WORKS FOR EMACS-SNAPSHOT BUTPierre Courtieu
2008-06-06Raised coq undo stack size.Pierre Courtieu
2008-05-30Fixed a bug in coq guessing of command linePierre Courtieu
2008-05-22Fixed a bug with abbrev table definition.Pierre Courtieu
2008-05-22Fixed a bug with local variable setting.Pierre Courtieu
2008-05-20Fixed a bug with coq-prog-name.Pierre Courtieu
2008-04-11Small fix with response buffer scrolling.Pierre Courtieu
2008-03-05fixed syntax table + thing-at-point.Pierre Courtieu
2008-02-17Add undo-depth setting and default it to 200, overriding Coq's 100 default.David Aspinall
2008-02-04Add mode documentationDavid Aspinall
2008-02-01coq:cutomizable bound variable highlight (finally working)Assia Mahboubi
2008-01-31Update versions here.David Aspinall
2008-01-31Updated.David Aspinall
2008-01-31Revert last change, shell-command-to-string gives error when calledDavid Aspinall
2008-01-31Use coq-prog-name when looking for library, not hard coded coqtopDavid Aspinall
2008-01-31Use proof-locate-executable so works out-of-the-box on Windows.David Aspinall
2008-01-31Remove CVS merge junk!David Aspinall
2008-01-31updated CHANGESAssia Mahboubi
2008-01-30coq : sorry, reverting previous buggy customizationAssia Mahboubi
2008-01-30New files.David Aspinall
2008-01-30Added a boolean defcustom test to make optional the highlight of variablesAssia Mahboubi
2008-01-30coq : changing highlight of solve, adding ExportAssia Mahboubi
2008-01-28Added displaying of the number of goals in the modeline.Pierre Courtieu
2008-01-28Fixed indentation and goal display.Pierre Courtieu
2008-01-28Fixed a problem with a wrong side effect on syntax databases (whenPierre Courtieu
2008-01-25Patch and cleanup for Coq indent code, see http://proofgeneral.inf.ed.ac.uk/t...David Aspinall
2008-01-24Remove use of proof-assDavid Aspinall
2008-01-24Updated.David Aspinall
2008-01-24New files.David Aspinall
2008-01-24Missing parenDavid Aspinall
2008-01-24Fixes and cleanups for coq-indent-line, see Trac #172David Aspinall
2008-01-17Use featurep test for XEmacs. Set proof-shell-indentifier-under-mouse-cmd.David Aspinall
2008-01-16Updated.David Aspinall
2008-01-15Remove coq-utf-safeDavid Aspinall
2008-01-15Deleted fileDavid Aspinall
2008-01-15Many compatibility updates, bug fixes, rearrangements for compilation.David Aspinall
2008-01-03Fixed abbrev installation. + small fixes.Pierre Courtieu
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-27 09:13:09 +0000