aboutsummaryrefslogtreecommitdiff
path: root/coq
AgeCommit message (Collapse)Author
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
2008-01-03Fixed the "proof completed" regexp.Pierre Courtieu
2007-12-14Require for defface macroDavid Aspinall
2007-12-14Fix compilation problems and rearrange startup settings for ↵David Aspinall
coq-prog-name,coq-prog-args
2007-12-14Remove eval-when, seems unreliableDavid Aspinall
2007-12-14Attempt to fix compile problemsDavid Aspinall
2007-12-14Improve loading; these tests are not functioning yetDavid Aspinall
2007-12-14coq-goal-command-str-p: Fix suspected typo shown up by compile warning.David Aspinall
2007-12-13Bind coqdoc-html to C-c % w to avoid clash with help key.David Aspinall
2007-12-13New files.David Aspinall
2007-12-13Renamed fileDavid Aspinall
2007-12-13Updated.David Aspinall
2007-12-13Deleted fileDavid Aspinall
2007-12-12Updated.David Aspinall
2007-12-12Added a sample file for utf8.Pierre Courtieu
2007-12-12Compatibility with coq trunk where some special symbols are removed.Pierre Courtieu
2007-12-10Emacs compatibility/API updates: string-to-int -> string-to-numberDavid Aspinall
2007-12-09Fixup some compile warningsDavid Aspinall
2007-12-07Print Coercions added to coq-syntaxAssia Mahboubi
2007-12-05Corollary added to Coq startersAssia Mahboubi
2007-11-30coq solve tacs modifiedAssia Mahboubi
2007-11-26colouring for Reserved NotationsAssia Mahboubi
2007-11-20removed 'by'form coq-reserved and added it to coq-solve-tacticsAssia Mahboubi
2007-11-20adding coq-solve tacticsAssia Mahboubi
2007-11-16coq-user-reserved-db addedAssia Mahboubi
2007-11-16test commit : added Structure to coq-defn-dbAssia Mahboubi
2007-11-12Fix http://proofgeneral.inf.ed.ac.uk/trac/ticket/160David Aspinall
2007-11-08fixing small font-lock bug with ssreflect syntax.Pierre Courtieu
2007-11-07Debugging font-lock regexp.Pierre Courtieu
2007-11-07Menu are now correctly sorted.Pierre Courtieu
2007-11-07Debugging font-lock regexp.Pierre Courtieu
2007-11-07Debugging font-lock regexps. Bad order: longer regexp should be putPierre Courtieu
first.
2007-10-30Fixed colorization bugs reported by Assai MAhboubi, this commit isPierre Courtieu
part of the previoous one (missused cvs).
2007-10-30Fixed small colorizing bugs (when keywords contain sub words colorizedPierre Courtieu
in another color). Reported by Assia Mahboubi.
2007-10-30Bug fixed. Reported by Assia Mahboubi.Pierre Courtieu
2007-10-29Fixed a bug on custom vars (bad :type) + Added a customizable user varPierre Courtieu
for tacticals (asked by Assi Mahboubi).
2007-08-14Add support for sending back literal commands reusing PBP markup mechanisms.David Aspinall
2007-07-12Added new keywords.Pierre Courtieu
2007-05-25Fix #114: syntax highlighting mistake for identifiers beginning with fun/forall.David Aspinall
2007-05-10Fixed prompt regexp.Pierre Courtieu
2007-05-10Never use special chars with >= coq-8.1.Pierre Courtieu
proof-shell-unicode set to nil by default because of xemacs which needs a library for utf-8.
2007-05-10Fixed coq prog persistent setting.Pierre Courtieu
2007-04-26Fixing auto shrink in coq three window mode, to avoid windowPierre Courtieu
disappearing.
2007-04-26Fixed the "Time Qed." mistreating (now recognized as a save commandPierre Courtieu
and make spans agregation ok).
2007-04-26Added some unknown keyword (not changing state). Fixes bug 113 from emakarov.MPierre Courtieu
2007-04-25Small fixes.Pierre Courtieu
2007-04-23small coloring fix.Pierre Courtieu
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-02 13:35:44 +0000