aboutsummaryrefslogtreecommitdiff
path: root/generic
AgeCommit message (Expand)Author
2006-01-09PG 3.6: remove Info item from toolbar; it's not very useful and under PA->Hel...David Aspinall
2006-01-08Fix for coloured face specs on AquaemacsDavid Aspinall
2005-11-14actually revert to revision 8.15;Makarius Wenzel
2005-11-09backtracking my change on functionPierre Courtieu
2005-11-07added match...with automatic building from atype name.Pierre Courtieu
2005-10-20bug fixChristophe Raffalli
2005-10-04Set version tag for new release.David Aspinall
2005-09-30Set version tag for new release.David Aspinall
2005-09-30Fix multiple Isabelle submenus on mode popup.David Aspinall
2005-09-30Dont overwrite distribution version of xml.el, only use fixed version for XEm...David Aspinall
2005-09-30Issue proof-assistant-settings-cmd standardly after init cmd.David Aspinall
2005-09-30Rename PGIP packet attribute origin -> tagDavid Aspinall
2005-09-28Make robust against missing advice packageDavid Aspinall
2005-09-27Shorter aux buffer namesDavid Aspinall
2005-09-22Set version tag for new release.David Aspinall
2005-09-21Fix toolbar support on Mac OSX Carbon Emacs which has window-system="mac"David Aspinall
2005-09-21Set version tag for new release.David Aspinall
2005-09-19I do not remember \!Christophe Raffalli
2005-09-15Set version tag for new release.David Aspinall
2005-09-14refer to proof-shell-unicode for process-environment and coding-system;Makarius Wenzel
2005-09-14added proof-shell-unicode;Makarius Wenzel
2005-09-01moved pg-special-char-regexp to proof-config.el;Makarius Wenzel
2005-09-01added proof-search-forward, proof-replace-regexp-in-string;Makarius Wenzel
2005-09-01eager message: perform pg-remove-specials-in-string after pg-assoc-strip-subt...Makarius Wenzel
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
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 liked...David Aspinall
2005-02-13Add suggestion by Stefan Monnier (comment only)David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-08 17:30:44 +0000