aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
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
2004-06-23font-lock problem has reappeared.David Aspinall
2004-06-23Nesting too deep for parser error.David Aspinall
2004-06-23Disable provers whose file extensions clash with sml mode. Default to Isabe...David Aspinall
2004-06-22Update email msgDavid Aspinall
2004-06-22Include bug report and observation about GNU EmacsDavid Aspinall
2004-06-22Test case for nesting too deep for parser errorDavid Aspinall
2004-06-17Set version tag for new release.David Aspinall
2004-06-17Make theory name match file nameDavid Aspinall
2004-06-17Fix index number back for isar-undo-remove-regexp, change isar-remove instead.David Aspinall
2004-06-17Note about testDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-02 03:38:11 +0000