aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
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
2008-02-17Missing backslashes.David Aspinall
2008-02-17Experimental use of fonts for \<AA> etc. Disable some contentious shortcutsDavid Aspinall
2008-02-17Remove isar-activate-scripting, which was identical to defaultDavid Aspinall
2008-02-17Add serif token matchDavid Aspinall
2008-02-17Fix clash with X-Symbol resulting in enabling then disabling symbolsDavid Aspinall
2008-02-17Remove left over propertise experiment call; fixes #202David Aspinall
2008-02-17unicode-tokens: Experimental multiple font supportDavid Aspinall
2008-02-17Set proof-shell-eager-annotation-start-length=2. This should have beenDavid Aspinall
2008-02-15Update bug reporting addressDavid Aspinall
2008-02-13tuned comment;Makarius Wenzel
2008-02-09Unicode tokens: support face changing via 'font-lock-face'David Aspinall
2008-02-06Set version tag for new release.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-18 05:55:32 +0000