aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2004-08-25Update for 3.6David Aspinall
2004-08-25New files.David Aspinall
2004-08-25Change develdownload.php -> develdownload.htmlDavid Aspinall
2004-08-25Set version tag for new release.David Aspinall
2004-08-25Update for forthcoming 3.6David Aspinall
2004-08-25Updated.David Aspinall
2004-08-25Update for 3.6David Aspinall
2004-08-25Updates for 3.6David Aspinall
2004-08-25Explain LaTeX mode for Isabelle a bit betterDavid Aspinall
2004-08-25Add pg-internal-warning. Use display-warning for that and proof-debug, if av...David Aspinall
2004-08-25Use proof-general-short-versionDavid Aspinall
2004-08-25Extended and updated PGIP support for PGIP 2.XDavid Aspinall
2004-08-25Overhaul to use xml.el parsing and printing.David Aspinall
2004-08-25Extensions to support PGIP 2.X settings format.David Aspinall
2004-08-25CommentDavid Aspinall
2004-08-25Add pg-internal-warningDavid Aspinall
2004-08-25New files.David Aspinall
2004-08-25TuneDavid Aspinall
2004-08-25TuneDavid Aspinall
2004-08-25Add lib/ to load-path. Define proof-general-short-version.David Aspinall
2004-08-25Renamed fileDavid Aspinall
2004-08-25Add architecture flags; comments.David Aspinall
2004-08-25Updated for 3.6 releaseDavid Aspinall
2004-08-25Update for 3.6 releaseDavid Aspinall
2004-08-25Update for 3.6 releaseDavid Aspinall
2004-08-25Update to version 3.6 pre-releaseDavid Aspinall
2004-08-25Renamed fileDavid Aspinall
2004-08-25UpdateDavid Aspinall
2004-08-25New files.David Aspinall
2004-08-25Renamed fileDavid Aspinall
2004-08-25Add lib to elisp dirsDavid Aspinall
2004-08-25Add lib to elisp paths. Name ETAGS program.David Aspinall
2004-08-25Revert to version distributed with GNU Emacs and XEmacs, but patchedDavid Aspinall
2004-08-25Document warning message for xml.elDavid Aspinall
2004-08-25Renamed fileDavid Aspinall
2004-08-25New files.David Aspinall
2004-08-24Don't make proof-shell-insert-hook buffer local.David Aspinall
2004-08-24Simplify clear buffer callsDavid Aspinall
2004-08-24Make proof-clean-buffer work with dead buffers.David Aspinall
2004-08-24Updated.David Aspinall
2004-08-16Note about use of this lib.David Aspinall
2004-08-12Instructions on reporting bugsDavid Aspinall
2004-08-10Set version tag for new release.David Aspinall
2004-08-10Add error handler for nesting too deep in proof-fontify region.David Aspinall
2004-08-10Change syntax table for \ from word constituent to escape character.David Aspinall
2004-08-10New files.David Aspinall
2004-07-23Set version tag for new release.David Aspinall
2004-07-23Fix display_drafts -> print_draftsDavid Aspinall
2004-07-23Fixed Coq version detection at start.Pierre Courtieu
2004-06-24Improve handling of intermittent fontification for trace buffers.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-13 03:34:27 +0000