aboutsummaryrefslogtreecommitdiff
path: root/generic
AgeCommit message (Collapse)Author
2005-09-01added proof-search-forward, proof-replace-regexp-in-string;Makarius Wenzel
avoid (re-)search-forward, which does not observe proof-case-fold-search;
2005-09-01eager message: perform pg-remove-specials-in-string after ↵Makarius Wenzel
pg-assoc-strip-subterm-markup;
2005-09-01added pg-special-char-regexp (used to be a constant in proof-utils.el);Makarius Wenzel
2005-08-10Set version tag for new release.David Aspinall
2005-08-10Fix to help menu from Timothy BourkeDavid Aspinall
2005-08-10Move some keybindings from script mode to universal keysDavid Aspinall
2005-08-09Documentation.David Aspinall
2005-07-27Resolve buffer for background resolution prover (Claire Quigley)David Aspinall
2005-07-15Add proof-general-version-yearDavid Aspinall
2005-07-15Set version tag for new release.David Aspinall
2005-07-15Missing proof-compat in proof-splashDavid Aspinall
2005-07-05*** empty log message ***Christophe Raffalli
2005-06-02Set version tag for new release.David Aspinall
2005-05-31Key bindings for proof-shell-exit, proof-shell-start.David Aspinall
2005-05-31Comments.David Aspinall
2005-05-17Set version tag for new release.David Aspinall
2005-05-17- Don't just reuse visible frames but also iconified ones.David Aspinall
- When proof-three-window-enable is nil, don't mark a dedicated window as non-dedicated. - Don't make the window-size-fixed. It's a real pain in the rear.
2005-05-17Documentation.David Aspinall
2005-05-17Disable Twelf support by defaultDavid Aspinall
2005-05-17Fix the removal of ".UTF-8" from LANG.David Aspinall
2005-05-17Updated.David Aspinall
2005-05-17- shell-command-to-string can fail in various corner cases.David Aspinall
2005-03-25Set version tag for new release.David Aspinall
2005-03-21Updated.David Aspinall
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 ↵David Aspinall
liked to keep them maybe)
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 ↵David Aspinall
available.
2004-08-25Use proof-general-short-versionDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-03 23:34:10 +0000