aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2008-07-10Updated.David Aspinall
2008-07-10Add other sup/subs to format menu.David Aspinall
2008-07-10Add format menu. Improve attempt to handle font-lock-face annotations. Stil...David Aspinall
2008-07-10Disable Unicode Tokens 2David Aspinall
2008-07-10Documentation.David Aspinall
2008-07-10Set version tag for new release.David Aspinall
2008-07-10Extend documentation for logic setting mechanism (needs magic update)David Aspinall
2008-07-10Add hook for hack-local-variables-hook to give warning about chosen logic cha...David Aspinall
2008-07-10Add doc for `isabelle-chosen-logic\'David Aspinall
2008-07-10New files.David Aspinall
2008-07-10Use proof-guess-command-line to adjust command line when starting Isabelle.David Aspinall
2008-07-10Updated.David Aspinall
2008-07-10removed obsolete comment;Makarius Wenzel
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-08 04:22:02 +0000