index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
generic
Commit message (
Expand
)
Author
Age
...
*
Fix for coloured face specs on Aquaemacs
David Aspinall
2006-01-08
*
actually revert to revision 8.15;
Makarius Wenzel
2005-11-14
*
backtracking my change on function
Pierre Courtieu
2005-11-09
*
added match...with automatic building from atype name.
Pierre Courtieu
2005-11-07
*
bug fix
Christophe Raffalli
2005-10-20
*
Set version tag for new release.
David Aspinall
2005-10-04
*
Set version tag for new release.
David Aspinall
2005-09-30
*
Fix multiple Isabelle submenus on mode popup.
David Aspinall
2005-09-30
*
Dont overwrite distribution version of xml.el, only use fixed version for XEm...
David Aspinall
2005-09-30
*
Issue proof-assistant-settings-cmd standardly after init cmd.
David Aspinall
2005-09-30
*
Rename PGIP packet attribute origin -> tag
David Aspinall
2005-09-30
*
Make robust against missing advice package
David Aspinall
2005-09-28
*
Shorter aux buffer names
David Aspinall
2005-09-27
*
Set version tag for new release.
David Aspinall
2005-09-22
*
Fix toolbar support on Mac OSX Carbon Emacs which has window-system="mac"
David Aspinall
2005-09-21
*
Set version tag for new release.
David Aspinall
2005-09-21
*
I do not remember \!
Christophe Raffalli
2005-09-19
*
Set version tag for new release.
David Aspinall
2005-09-15
*
refer to proof-shell-unicode for process-environment and coding-system;
Makarius Wenzel
2005-09-14
*
added proof-shell-unicode;
Makarius Wenzel
2005-09-14
*
moved pg-special-char-regexp to proof-config.el;
Makarius Wenzel
2005-09-01
*
added proof-search-forward, proof-replace-regexp-in-string;
Makarius Wenzel
2005-09-01
*
eager message: perform pg-remove-specials-in-string after pg-assoc-strip-subt...
Makarius Wenzel
2005-09-01
*
added pg-special-char-regexp (used to be a constant in proof-utils.el);
Makarius Wenzel
2005-09-01
*
Set version tag for new release.
David Aspinall
2005-08-10
*
Fix to help menu from Timothy Bourke
David Aspinall
2005-08-10
*
Move some keybindings from script mode to universal keys
David Aspinall
2005-08-10
*
Documentation.
David Aspinall
2005-08-09
*
Resolve buffer for background resolution prover (Claire Quigley)
David Aspinall
2005-07-27
*
Add proof-general-version-year
David Aspinall
2005-07-15
*
Set version tag for new release.
David Aspinall
2005-07-15
*
Missing proof-compat in proof-splash
David Aspinall
2005-07-15
*
*** empty log message ***
Christophe Raffalli
2005-07-05
*
Set version tag for new release.
David Aspinall
2005-06-02
*
Key bindings for proof-shell-exit, proof-shell-start.
David Aspinall
2005-05-31
*
Comments.
David Aspinall
2005-05-31
*
Set version tag for new release.
David Aspinall
2005-05-17
*
- Don't just reuse visible frames but also iconified ones.
David Aspinall
2005-05-17
*
Documentation.
David Aspinall
2005-05-17
*
Disable Twelf support by default
David Aspinall
2005-05-17
*
Fix the removal of ".UTF-8" from LANG.
David Aspinall
2005-05-17
*
Updated.
David Aspinall
2005-05-17
*
- shell-command-to-string can fail in various corner cases.
David Aspinall
2005-05-17
*
Set version tag for new release.
David Aspinall
2005-03-25
*
Updated.
David Aspinall
2005-03-21
*
Added simple testing framework (in progress)
David Aspinall
2005-02-13
*
Remove setting of x-symbol-language by C Raffalli.
David Aspinall
2005-02-13
*
Add patch by Stefan Monnier to revert frame titles (although would have liked...
David Aspinall
2005-02-13
*
Add suggestion by Stefan Monnier (comment only)
David Aspinall
2005-02-13
*
*** empty log message ***
Christophe Raffalli
2005-02-09
[prev]
[next]