aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic
Commit message (Expand)AuthorAge
* added first (experimental) support for proof by contextual menu (pg-pbrpm.el)Gravatar Christophe Raffalli2004-10-20
* added proof-x-symbol-set-language for script bufferGravatar Christophe Raffalli2004-10-20
* fixed a problem with x-symbol not enables in script bufferGravatar Christophe Raffalli2004-10-20
* UpdatesGravatar David Aspinall2004-10-05
* Add pg-xml-cdataGravatar David Aspinall2004-10-05
* Bug fix suggested by Jonathan S. ShapiroGravatar David Aspinall2004-10-05
* Add arg to forward-comment for GNU Emacs.Gravatar David Aspinall2004-10-04
* Fix bug in proof-debug for GNU EmacsGravatar David Aspinall2004-09-21
* Set version tag for new release.Gravatar David Aspinall2004-08-31
* Fix backward compatibility with Isabelle 2004.Gravatar David Aspinall2004-08-31
* Try to avoid filtering/urgent-message-processing of inputGravatar David Aspinall2004-08-26
* Fixes for idtablesGravatar David Aspinall2004-08-26
* New files.Gravatar David Aspinall2004-08-25
* Set version tag for new release.Gravatar David Aspinall2004-08-25
* Add pg-internal-warning. Use display-warning for that and proof-debug, if av...Gravatar David Aspinall2004-08-25
* Use proof-general-short-versionGravatar David Aspinall2004-08-25
* Extended and updated PGIP support for PGIP 2.XGravatar David Aspinall2004-08-25
* Overhaul to use xml.el parsing and printing.Gravatar David Aspinall2004-08-25
* Extensions to support PGIP 2.X settings format.Gravatar David Aspinall2004-08-25
* CommentGravatar David Aspinall2004-08-25
* Add pg-internal-warningGravatar David Aspinall2004-08-25
* Add lib/ to load-path. Define proof-general-short-version.Gravatar David Aspinall2004-08-25
* Renamed fileGravatar David Aspinall2004-08-25
* Add architecture flags; comments.Gravatar David Aspinall2004-08-25
* Renamed fileGravatar David Aspinall2004-08-25
* Renamed fileGravatar David Aspinall2004-08-25
* Don't make proof-shell-insert-hook buffer local.Gravatar David Aspinall2004-08-24
* Simplify clear buffer callsGravatar David Aspinall2004-08-24
* Make proof-clean-buffer work with dead buffers.Gravatar David Aspinall2004-08-24
* Note about use of this lib.Gravatar David Aspinall2004-08-16
* Set version tag for new release.Gravatar David Aspinall2004-08-10
* Add error handler for nesting too deep in proof-fontify region.Gravatar David Aspinall2004-08-10
* Set version tag for new release.Gravatar David Aspinall2004-07-23
* Improve handling of intermittent fontification for trace buffers.Gravatar David Aspinall2004-06-24
* Disable provers whose file extensions clash with sml mode. Default to Isabe...Gravatar David Aspinall2004-06-23
* Set version tag for new release.Gravatar David Aspinall2004-06-17
* Add hint for proof-next-error. Add proof-shell-quiet-errors as user-level se...Gravatar David Aspinall2004-06-16
* Set version tag for new release.Gravatar David Aspinall2004-06-16
* Generalise proof-def-invisible.Gravatar David Aspinall2004-06-13
* Adjust colours to a lighter scheme.Gravatar David Aspinall2004-06-13
* Reinstate escapes for @ { }Gravatar David Aspinall2004-06-04
* Set version tag for new release.Gravatar David Aspinall2004-06-04
* proof-goto-end-of-locked: add push-mark; fix: goto end of locked even ifGravatar David Aspinall2004-06-03
* Fixup problem with whitespace being left after texi comments (reason:Gravatar David Aspinall2004-05-06
* Allow tracing slow mode to last 2 seconds. Make message more understandable.Gravatar David Aspinall2004-04-27
* condition-case -> unwind-protectGravatar David Aspinall2004-04-27
* Add optional (prefix) arg to proof-layout-windows.Gravatar David Aspinall2004-04-27
* Make response buffer hint shorterGravatar David Aspinall2004-04-27
* Add compatibility hack for Emacs 21.2.1 customize-menu-createGravatar David Aspinall2004-04-26
* Allow proof-goto-end-of-locked to work again if no active scripting buffer.Gravatar David Aspinall2004-04-26
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-01 04:36:02 +0000