aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2008-07-10Start to rationalise setting for proof-prog-name.David Aspinall
2008-07-10Minimal patch for Sledgehammer problem with Isabelle.David Aspinall
2008-07-10Add isub and isup to unicode-tokens-annotation-control-token-alistDavid Aspinall
2008-07-10Reverse 8.28, buffer-substring-no-properties -> buffer-substring.David Aspinall
2008-07-09cover isup as well;Makarius Wenzel
2008-07-09more precise regexps isar-token-match, isar-control-token-match;Makarius Wenzel
2008-07-09Fix for GNU Emacs 23 tool bar, set image-load-path persistently. NB: may cau...David Aspinall
2008-07-08Set version tag for new release.David Aspinall
2008-07-07isar-shortcut-alist: map << >> to guillemots -- this is what HOL-Nominal expe...Makarius Wenzel
2008-07-07isar-shortcut-alist: tweaked behaviour of ~= ~: <= `` which all have a partic...Makarius Wenzel
2008-07-07unicode shortcut alist: literal backslash instead of strange control sequence...Makarius Wenzel
2008-07-07Set version tag for new release.David Aspinall
2008-07-07defface: using proof-face-specs makes faces appear on non-X11 window systems ...Makarius Wenzel
2008-07-06New files.David Aspinall
2008-07-06Set version tag for new release.David Aspinall
2008-07-05Deleted fileDavid Aspinall
2008-07-05Set version tag for new release.David Aspinall
2008-07-05Clarify unimplemented settingsDavid Aspinall
2008-07-05Add use-holes setting.David Aspinall
2008-07-05Remove faulty testDavid Aspinall
2008-07-05Add back |-> shortcutDavid Aspinall
2008-07-05Revert cursor hide in goals and response to avoid user confusion; use bar cur...David Aspinall
2008-07-05Trac regressionsDavid Aspinall
2008-07-05TEMPORARY: add unicode-tokens2 mechanism to test across different machinesDavid Aspinall
2008-07-05Add customization for use of image converter, default to disable.David Aspinall
2008-06-14obsolete;Makarius Wenzel
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-26Set version tag for new release.David Aspinall
2008-05-26UpdatedDavid Aspinall
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-14proper indentation;Makarius Wenzel
2008-03-05fixed syntax table + thing-at-point.Pierre Courtieu
2008-02-17Remove junkDavid Aspinall
2008-02-17Updated.David Aspinall
2008-02-17Docstring with keymapDavid Aspinall
2008-02-17Set version tag for new release.David Aspinall
2008-02-17Symmetric change for #201David Aspinall
2008-02-17Updated.David Aspinall
2008-02-17Add item for #204David Aspinall
2008-02-17Add item for #204David Aspinall
2008-02-17Add undo-depth setting and default it to 200, overriding Coq's 100 default.David Aspinall
2008-02-17New files.David Aspinall
2008-02-17Updated.David Aspinall
2008-02-17Comments.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-17 01:54:34 +0000