aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic
Commit message (Expand)AuthorAge
* Comments.Gravatar David Aspinall2006-09-22
* Set version tag for new release.Gravatar David Aspinall2006-09-22
* Updated.Gravatar David Aspinall2006-09-22
* Set version tag for new release.Gravatar David Aspinall2006-09-12
* Set version tag for new release.Gravatar David Aspinall2006-09-09
* Set version tag for new release.Gravatar David Aspinall2006-09-07
* Making error highlighting more robust (for both emacsen) and use aGravatar Pierre Courtieu2006-09-06
* Error highliting in coq now worksGravatar Pierre Courtieu2006-09-05
* Set version tag for new release.Gravatar David Aspinall2006-08-28
* Coq indentation small fixes.Gravatar Pierre Courtieu2006-08-23
* Comments and docstring fixes in lib and generic.Gravatar Pierre Courtieu2006-08-23
* Fixed messages of prover process starting and errors in order to haveGravatar Pierre Courtieu2006-08-16
* Set version tag for new release.Gravatar David Aspinall2006-05-26
* Add back 'raw-text setting, now LANG settings aren't taking effect again [me:...Gravatar David Aspinall2006-05-26
* Updated.Gravatar David Aspinall2006-05-26
* Add C-g watcher for trace bufferGravatar David Aspinall2006-05-26
* Fix to remove mention of coding-system-for-write, coding-system-for-read not ...Gravatar David Aspinall2006-05-23
* Changed the type of proof-goal-command-p. It takes now a span, whichGravatar Pierre Courtieu2006-04-26
* back to using sym-lock ... x-symbol will not be supported anymore for PhoX + ...Gravatar Christophe Raffalli2006-02-24
* Set version tag for new release.Gravatar David Aspinall2006-02-14
* Revert use of 'raw-text for coding-system-for-read/write since it changes beh...Gravatar David Aspinall2006-02-14
* Add back lost editsGravatar David Aspinall2006-02-14
* Add <PA>-prog-args and <PA>-prog-envGravatar David Aspinall2006-02-14
* PG 3.6: remove Info item from toolbar; it's not very useful and under PA->Hel...Gravatar David Aspinall2006-01-09
* Fix for coloured face specs on AquaemacsGravatar David Aspinall2006-01-08
* actually revert to revision 8.15;Gravatar Makarius Wenzel2005-11-14
* backtracking my change on functionGravatar Pierre Courtieu2005-11-09
* added match...with automatic building from atype name.Gravatar Pierre Courtieu2005-11-07
* bug fixGravatar Christophe Raffalli2005-10-20
* Set version tag for new release.Gravatar David Aspinall2005-10-04
* Set version tag for new release.Gravatar David Aspinall2005-09-30
* Fix multiple Isabelle submenus on mode popup.Gravatar David Aspinall2005-09-30
* Dont overwrite distribution version of xml.el, only use fixed version for XEm...Gravatar David Aspinall2005-09-30
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-04 11:20:51 +0000