aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2007-11-13command 'thm' makes no sense outside a proper context;Makarius Wenzel
2007-11-12VersionsDavid Aspinall
2007-11-12Set version tag for new release.David Aspinall
2007-11-12Fix http://proofgeneral.inf.ed.ac.uk/trac/ticket/160David Aspinall
2007-11-08fixing small font-lock bug with ssreflect syntax.Pierre Courtieu
2007-11-07Debugging font-lock regexp.Pierre Courtieu
2007-11-07Menu are now correctly sorted.Pierre Courtieu
2007-11-07Debugging font-lock regexp.Pierre Courtieu
2007-11-07Debugging font-lock regexps. Bad order: longer regexp should be putPierre Courtieu
2007-11-04defconst proof-warning-face -- as expected by GNU Emacs;Makarius Wenzel
2007-10-30Fixed colorization bugs reported by Assai MAhboubi, this commit isPierre Courtieu
2007-10-30Fixed small colorizing bugs (when keywords contain sub words colorizedPierre Courtieu
2007-10-30Bug fixed. Reported by Assia Mahboubi.Pierre Courtieu
2007-10-29Fixed a bug on custom vars (bad :type) + Added a customizable user varPierre Courtieu
2007-10-25Simplify version editing to use DOWNLOADHTMLS and use %{version} in specDavid Aspinall
2007-10-25Use %{version} tag in source file nameDavid Aspinall
2007-10-25Set version tag for new release.David Aspinall
2007-10-24proof-shell-issue-pgip-cmd is always isabelle-process-pgip;Makarius Wenzel
2007-10-24removed obsolete isabelle-version-string, isa-version, isa-supports-pgip;Makarius Wenzel
2007-10-18isar-find-and-forget: no special treatment of begin/end, just plain undoMakarius Wenzel
2007-10-18isar-undo-fail-regexp: only isar-keywords-control, not isar-keywords-theory-end;Makarius Wenzel
2007-09-17New files.David Aspinall
2007-09-10Set version tag for new release.David Aspinall
2007-09-07allow more specials: oct 327 .. oct 340;Makarius Wenzel
2007-09-07isar-output-font-lock-keywords-1: hilite markup uses proof-warning-face;Makarius Wenzel
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 mark...David Aspinall
2007-08-19CommentsDavid Aspinall
2007-08-19proof-append-alist: detach queue span if no commands after comments stripped.David Aspinall
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-19 16:27:57 +0000