aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic
Commit message (Expand)AuthorAge
* Issue proof-assistant-settings-cmd standardly after init cmd.Gravatar David Aspinall2005-09-30
* Rename PGIP packet attribute origin -> tagGravatar David Aspinall2005-09-30
* Make robust against missing advice packageGravatar David Aspinall2005-09-28
* Shorter aux buffer namesGravatar David Aspinall2005-09-27
* Set version tag for new release.Gravatar David Aspinall2005-09-22
* Fix toolbar support on Mac OSX Carbon Emacs which has window-system="mac"Gravatar David Aspinall2005-09-21
* Set version tag for new release.Gravatar David Aspinall2005-09-21
* I do not remember \!Gravatar Christophe Raffalli2005-09-19
* Set version tag for new release.Gravatar David Aspinall2005-09-15
* refer to proof-shell-unicode for process-environment and coding-system;Gravatar Makarius Wenzel2005-09-14
* added proof-shell-unicode;Gravatar Makarius Wenzel2005-09-14
* moved pg-special-char-regexp to proof-config.el;Gravatar Makarius Wenzel2005-09-01
* added proof-search-forward, proof-replace-regexp-in-string;Gravatar Makarius Wenzel2005-09-01
* eager message: perform pg-remove-specials-in-string after pg-assoc-strip-subt...Gravatar Makarius Wenzel2005-09-01
* added pg-special-char-regexp (used to be a constant in proof-utils.el);Gravatar Makarius Wenzel2005-09-01
* Set version tag for new release.Gravatar David Aspinall2005-08-10
* Fix to help menu from Timothy BourkeGravatar David Aspinall2005-08-10
* Move some keybindings from script mode to universal keysGravatar David Aspinall2005-08-10
* Documentation.Gravatar David Aspinall2005-08-09
* Resolve buffer for background resolution prover (Claire Quigley)Gravatar David Aspinall2005-07-27
* Add proof-general-version-yearGravatar David Aspinall2005-07-15
* Set version tag for new release.Gravatar David Aspinall2005-07-15
* Missing proof-compat in proof-splashGravatar David Aspinall2005-07-15
* *** empty log message ***Gravatar Christophe Raffalli2005-07-05
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-31 23:44:13 +0000