aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic
Commit message (Expand)AuthorAge
* Set version tag for new release.Gravatar David Aspinall2005-06-02
* Key bindings for proof-shell-exit, proof-shell-start.Gravatar David Aspinall2005-05-31
* Comments.Gravatar David Aspinall2005-05-31
* Set version tag for new release.Gravatar David Aspinall2005-05-17
* - Don't just reuse visible frames but also iconified ones.Gravatar David Aspinall2005-05-17
* Documentation.Gravatar David Aspinall2005-05-17
* Disable Twelf support by defaultGravatar David Aspinall2005-05-17
* Fix the removal of ".UTF-8" from LANG.Gravatar David Aspinall2005-05-17
* Updated.Gravatar David Aspinall2005-05-17
* - shell-command-to-string can fail in various corner cases.Gravatar David Aspinall2005-05-17
* Set version tag for new release.Gravatar David Aspinall2005-03-25
* Updated.Gravatar David Aspinall2005-03-21
* Added simple testing framework (in progress)Gravatar David Aspinall2005-02-13
* Remove setting of x-symbol-language by C Raffalli.Gravatar David Aspinall2005-02-13
* Add patch by Stefan Monnier to revert frame titles (although would have liked...Gravatar David Aspinall2005-02-13
* Add suggestion by Stefan Monnier (comment only)Gravatar David Aspinall2005-02-13
* *** empty log message ***Gravatar Christophe Raffalli2005-02-09
* Mention to check FAQ tooGravatar David Aspinall2005-01-07
* changes to pbrpmGravatar Christophe Raffalli2004-12-08
* Docstring: clarify arg type in proof-define-assitant-command-withargGravatar David Aspinall2004-11-30
* Updated.Gravatar David Aspinall2004-11-30
* work on proof by contextual menu for phoxGravatar Christophe Raffalli2004-11-22
* 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