aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
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 ↵David Aspinall
cause breakage on older Emacs (tested on 22.2).
2008-07-08Set version tag for new release.David Aspinall
2008-07-07isar-shortcut-alist: map << >> to guillemots -- this is what HOL-Nominal ↵Makarius Wenzel
expects;
2008-07-07isar-shortcut-alist: tweaked behaviour of ~= ~: <= `` which all have a ↵Makarius Wenzel
particular meaning in Isabelle;
2008-07-07unicode shortcut alist: literal backslash instead of strange control ↵Makarius Wenzel
sequence, e.g. "\\nat" instead of "\nat";
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
as well;
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 ↵David Aspinall
cursor.
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
NOT FOR EMACS22. As byte position is buggy in emacs22.
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
+ starting the "insert as" feature.
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-08-02 04:42:24 +0000