aboutsummaryrefslogtreecommitdiff
path: root/generic
AgeCommit message (Expand)Author
2005-02-13Added simple testing framework (in progress)David Aspinall
2005-02-13Remove setting of x-symbol-language by C Raffalli.David Aspinall
2005-02-13Add patch by Stefan Monnier to revert frame titles (although would have liked...David Aspinall
2005-02-13Add suggestion by Stefan Monnier (comment only)David Aspinall
2005-02-09*** empty log message ***Christophe Raffalli
2005-01-07Mention to check FAQ tooDavid Aspinall
2004-12-08changes to pbrpmChristophe Raffalli
2004-11-30Docstring: clarify arg type in proof-define-assitant-command-withargDavid Aspinall
2004-11-30Updated.David Aspinall
2004-11-22work on proof by contextual menu for phoxChristophe Raffalli
2004-10-20added first (experimental) support for proof by contextual menu (pg-pbrpm.el)Christophe Raffalli
2004-10-20added proof-x-symbol-set-language for script bufferChristophe Raffalli
2004-10-20fixed a problem with x-symbol not enables in script bufferChristophe Raffalli
2004-10-05UpdatesDavid Aspinall
2004-10-05Add pg-xml-cdataDavid Aspinall
2004-10-05Bug fix suggested by Jonathan S. ShapiroDavid Aspinall
2004-10-04Add arg to forward-comment for GNU Emacs.David Aspinall
2004-09-21Fix bug in proof-debug for GNU EmacsDavid Aspinall
2004-08-31Set version tag for new release.David Aspinall
2004-08-31Fix backward compatibility with Isabelle 2004.David Aspinall
2004-08-26Try to avoid filtering/urgent-message-processing of inputDavid Aspinall
2004-08-26Fixes for idtablesDavid Aspinall
2004-08-25New files.David Aspinall
2004-08-25Set version tag for new release.David 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-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-25Renamed fileDavid Aspinall
2004-08-25Renamed fileDavid 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-16Note about use of this lib.David 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-07-23Set version tag for new release.David Aspinall
2004-06-24Improve handling of intermittent fontification for trace buffers.David Aspinall
2004-06-23Disable provers whose file extensions clash with sml mode. Default to Isabe...David Aspinall
2004-06-17Set version tag for new release.David Aspinall
2004-06-16Add hint for proof-next-error. Add proof-shell-quiet-errors as user-level se...David Aspinall
2004-06-16Set version tag for new release.David Aspinall
2004-06-13Generalise proof-def-invisible.David Aspinall
2004-06-13Adjust colours to a lighter scheme.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 14:40:47 +0000