aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2007-06-19Set version tag for new release.David Aspinall
2007-06-14isar-improper-regexp: include "prems";Makarius Wenzel
Cvs: ----------------------------------------------------------------------
2007-06-14single-char-regexp: tuned symbol regexp;Makarius Wenzel
subscript-matcher: more robust handling of non-space lookahead (beware of markuo specials!);
2007-06-14isar-font-lock-local: tuned symbol regexp;Makarius Wenzel
2007-06-13added information about optional "Find Theorems" form;Makarius Wenzel
2007-06-11reverted find theorems default from form to minibufferweber
2007-06-10Updated.David Aspinall
2007-06-10New files.David Aspinall
2007-06-10Cleanup mac init, make it compile safeDavid Aspinall
2007-06-10Set version tag for new release.David Aspinall
2007-06-08Set version tag for new release.David Aspinall
2007-06-05Set version tag for new release.David Aspinall
2007-05-25Updated.David Aspinall
2007-05-25New files.David Aspinall
2007-05-25Fix #114: syntax highlighting mistake for identifiers beginning with fun/forall.David Aspinall
2007-05-17XEmacs 21.4.15 does not seem to know propertizeweber
2007-05-15Comment on remove of proof-indent-pad-eolDavid Aspinall
2007-05-15Clarify buf hist activation.David Aspinall
2007-05-11Fix renameweber
2007-05-11Fix renameweber
2007-05-11works with XEmacs now (ticket #115)weber
2007-05-11Fix renameDavid Aspinall
2007-05-11Rename [proof]find-theorems -> isar-find-theoremsDavid Aspinall
2007-05-11Renamed fileDavid Aspinall
2007-05-11Renamed fileDavid Aspinall
2007-05-11Experimental patch for unicode/mac supportDavid Aspinall
2007-05-11Unicode patch, in progressDavid Aspinall
2007-05-11Patch for MacDavid Aspinall
2007-05-11New files.David Aspinall
2007-05-11Font from Norbert VoelkerDavid Aspinall
2007-05-11Target for dfontDavid Aspinall
2007-05-10Path for docstring-magicDavid Aspinall
2007-05-10Fix library nameDavid Aspinall
2007-05-10Set version tag for new release.David Aspinall
2007-05-10Disable unicode use on LEGO, uses escape prefixDavid Aspinall
2007-05-10Note trac generic user pgemacs/pgemacsDavid Aspinall
2007-05-10Add experimental find theorems form (not working on all Emacs yet)David Aspinall
2007-05-10Patch for utf-8 testDavid Aspinall
2007-05-10Emulate find-coding-system for GNU EmacsDavid Aspinall
2007-05-10New files.David Aspinall
2007-05-10Fix walk through example for Isabelle2007, including missing lineDavid Aspinall
pointed out by Ivan Filippenko.
2007-05-10pg-remove-specials: avoid interactive replace-regexp, which gives minibuffer ↵David Aspinall
messages.
2007-05-10Add proof-replace-regexp-nocasefoldDavid 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-05-08x-symbol-isabelle-font-lock-regexp: demand subsequent non-space character;Makarius Wenzel
2007-05-08undo: removed confusing comment;Makarius Wenzel
2007-05-08tuned cannot-undo;Makarius Wenzel
2007-05-08added isar-cmd-sledgehammer;Makarius Wenzel
generated by cgit v1.2.3 (git 2.25.1) at 2026-10-14 21:23:35 +0000