aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
...
* Simplify version editing to use DOWNLOADHTMLS and use %{version} in specGravatar David Aspinall2007-10-25
* Use %{version} tag in source file nameGravatar David Aspinall2007-10-25
* Set version tag for new release.Gravatar David Aspinall2007-10-25
* proof-shell-issue-pgip-cmd is always isabelle-process-pgip;Gravatar Makarius Wenzel2007-10-24
* removed obsolete isabelle-version-string, isa-version, isa-supports-pgip;Gravatar Makarius Wenzel2007-10-24
* isar-find-and-forget: no special treatment of begin/end, just plain undoGravatar Makarius Wenzel2007-10-18
* isar-undo-fail-regexp: only isar-keywords-control, not isar-keywords-theory-end;Gravatar Makarius Wenzel2007-10-18
* New files.Gravatar David Aspinall2007-09-17
* Set version tag for new release.Gravatar David Aspinall2007-09-10
* allow more specials: oct 327 .. oct 340;Gravatar Makarius Wenzel2007-09-07
* isar-output-font-lock-keywords-1: hilite markup uses proof-warning-face;Gravatar Makarius Wenzel2007-09-07
* Use button2 instead of button1 for pg-goals-button-actionGravatar David Aspinall2007-09-06
* proper use of ProofGeneral.sendback;Gravatar Makarius Wenzel2007-08-20
* Avoid compilation errorGravatar David Aspinall2007-08-19
* pg-topterm-char -> pg-topterm-regexpGravatar David Aspinall2007-08-19
* Set version tag for new release.Gravatar David Aspinall2007-08-19
* pg-assoc-strip-subterm-markup-buf: cache pg-assoc-ann-regexpGravatar David Aspinall2007-08-19
* Fix to proof-defintset-fn so that correct current value is displayed.Gravatar David Aspinall2007-08-19
* Fix attribute for proof-active-area-faceGravatar David Aspinall2007-08-19
* Only analyse structure for region of appended textGravatar David Aspinall2007-08-19
* proof-active-area-face: highlighting face for active areaGravatar David Aspinall2007-08-19
* Test ProofGeneral.sendbackGravatar David Aspinall2007-08-19
* pg-topterm-regexp: use special 376. isar-goalhyplit-test: Delete closing mark...Gravatar David Aspinall2007-08-19
* CommentsGravatar David Aspinall2007-08-19
* proof-append-alist: detach queue span if no commands after comments stripped.Gravatar David Aspinall2007-08-19
* removed outated comment;Gravatar Makarius Wenzel2007-08-15
* isar-goalhyplit-test: explicit end-marker;Gravatar Makarius Wenzel2007-08-15
* Add support for sending back literal commands reusing PBP markup mechanisms.Gravatar David Aspinall2007-08-14
* Add unload utility for developmentGravatar David Aspinall2007-08-14
* Added new keywords.Gravatar Pierre Courtieu2007-07-12
* Set version tag for new release.Gravatar David Aspinall2007-07-04
* Revert html target to not include dir (although it builds in dir)Gravatar David Aspinall2007-06-19
* New subdirs for htmlGravatar David Aspinall2007-06-19
* Fix broken texi magic strings.Gravatar David Aspinall2007-06-19
* Account for new default behaviour of texi2html, using subdir for manualsGravatar David Aspinall2007-06-19
* Fix commentGravatar David Aspinall2007-06-19
* Set version tag for new release.Gravatar David Aspinall2007-06-19
* isar-improper-regexp: include "prems";Gravatar Makarius Wenzel2007-06-14
* single-char-regexp: tuned symbol regexp;Gravatar Makarius Wenzel2007-06-14
* isar-font-lock-local: tuned symbol regexp;Gravatar Makarius Wenzel2007-06-14
* added information about optional "Find Theorems" form;Gravatar Makarius Wenzel2007-06-13
* reverted find theorems default from form to minibufferGravatar weber2007-06-11
* Updated.Gravatar David Aspinall2007-06-10
* New files.Gravatar David Aspinall2007-06-10
* Cleanup mac init, make it compile safeGravatar David Aspinall2007-06-10
* Set version tag for new release.Gravatar David Aspinall2007-06-10
* Set version tag for new release.Gravatar David Aspinall2007-06-08
* Set version tag for new release.Gravatar David Aspinall2007-06-05
* Updated.Gravatar David Aspinall2007-05-25
* New files.Gravatar David Aspinall2007-05-25
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-29 02:00:45 +0000