aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2007-09-06Use button2 instead of button1 for pg-goals-button-actionDavid Aspinall
2007-08-20proper use of ProofGeneral.sendback;Makarius Wenzel
2007-08-19Avoid compilation errorDavid Aspinall
2007-08-19pg-topterm-char -> pg-topterm-regexpDavid Aspinall
2007-08-19Set version tag for new release.David Aspinall
2007-08-19pg-assoc-strip-subterm-markup-buf: cache pg-assoc-ann-regexpDavid Aspinall
2007-08-19Fix to proof-defintset-fn so that correct current value is displayed.David Aspinall
2007-08-19Fix attribute for proof-active-area-faceDavid Aspinall
2007-08-19Only analyse structure for region of appended textDavid Aspinall
2007-08-19proof-active-area-face: highlighting face for active areaDavid Aspinall
2007-08-19Test ProofGeneral.sendbackDavid Aspinall
2007-08-19pg-topterm-regexp: use special 376. isar-goalhyplit-test: Delete closing ↵David Aspinall
markup (special 377).
2007-08-19CommentsDavid Aspinall
2007-08-19proof-append-alist: detach queue span if no commands after comments stripped.David Aspinall
Fixes trac report #138: processing comments alone leads to spurious read-only region.
2007-08-15removed outated comment;Makarius Wenzel
2007-08-15isar-goalhyplit-test: explicit end-marker;Makarius Wenzel
2007-08-14Add support for sending back literal commands reusing PBP markup mechanisms.David Aspinall
2007-08-14Add unload utility for developmentDavid Aspinall
2007-07-12Added new keywords.Pierre Courtieu
2007-07-04Set version tag for new release.David Aspinall
2007-06-19Revert html target to not include dir (although it builds in dir)David Aspinall
2007-06-19New subdirs for htmlDavid Aspinall
2007-06-19Fix broken texi magic strings.David Aspinall
2007-06-19Account for new default behaviour of texi2html, using subdir for manualsDavid Aspinall
2007-06-19Fix commentDavid Aspinall
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-09 22:13:31 +0000