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
*
Kludge for key-press during loading problem with splash screen.
David Aspinall
2003-03-14
*
Update dates
David Aspinall
2003-03-10
*
Set version tag for new release.
David Aspinall
2003-03-07
*
Use Info-default-directory-list for GNU Emacs still
David Aspinall
2003-03-07
*
Fix Non-X frame error on Emacs 21
David Aspinall
2003-03-06
*
List of stuff to do here
David Aspinall
2003-03-05
*
Set version tag for new release.
David Aspinall
2003-03-05
*
Make sure selected window never changes
David Aspinall
2003-03-05
*
Set version tag for new release.
David Aspinall
2003-03-03
*
Fix sticky mode properties for X-Symbol
David Aspinall
2003-03-03
*
Fix sticky mode properties for X-Symbol
David Aspinall
2003-03-03
*
Some fixes/error protection in shrink window
David Aspinall
2003-03-01
*
Refactor function used for Isar parsing a little.
David Aspinall
2003-03-01
*
Fix to shrink-windows-tofit
David Aspinall
2003-02-24
*
Documentation.
David Aspinall
2003-02-24
*
Set version tag for new release.
David Aspinall
2003-02-24
*
Set x-symbol-data-directory
David Aspinall
2003-02-24
*
Fix proofdefinvisible, proofdefshortcut to work in compiled version
David Aspinall
2003-02-24
*
Fix some compile errors
David Aspinall
2003-02-24
*
Set version tag for new release.
David Aspinall
2003-02-22
*
Fixes to work with bundled version
David Aspinall
2003-02-22
*
Temporarily disable mode-class prop on script major mode (for X-sym 4.45beta)
David Aspinall
2003-02-22
*
Add code to use bundled version, commented out since broken.
David Aspinall
2003-02-22
*
Set version tag for new release.
David Aspinall
2003-02-20
*
Cleanups/renaming: remove some dead code, also, hide results of X-Sym enabling.
David Aspinall
2003-02-19
*
Docs; same safe-fail for MMM as X-Symbol.
David Aspinall
2003-02-19
*
Documentation.
David Aspinall
2003-02-19
*
Use bundled version off mmm first
David Aspinall
2003-02-19
*
Set version tag for new release.
David Aspinall
2003-02-19
*
Leave packages' own hooks (X-Symbol, MMM) to deal with turning on or
David Aspinall
2003-02-19
*
Comments.
David Aspinall
2003-02-18
*
Small bugfix.
David Aspinall
2003-02-18
*
Updated.
David Aspinall
2003-02-18
*
Add support for MMM mode
David Aspinall
2003-02-18
*
Refactor proof-config-done for clarity
David Aspinall
2003-02-18
*
New files.
David Aspinall
2003-02-18
*
Set version tag for new release.
David Aspinall
2003-02-17
*
Remove proof-shell-filter patch of Stefan Monnier which deals with multiple p...
David Aspinall
2003-02-17
*
Remove subterm markup striping in proof-shell-process-output (error case). Docs
David Aspinall
2003-02-17
*
Set version tag for new release.
David Aspinall
2003-02-16
*
Set version tag for new release.
David Aspinall
2003-02-05
*
Doc generalisation of proof-script-command-end-regexp.
David Aspinall
2003-02-05
*
Tweak proof-script-generic-parse-cmdend to allow .. fix for Coq parsing
David Aspinall
2003-02-05
*
Compatibility function for customize-menu-create
David Aspinall
2003-02-05
*
Give up on customize-menu-create on GNU Emacs
David Aspinall
2003-02-05
*
Set version tag for new release.
David Aspinall
2003-02-03
*
Fix from Christoph Conrad for Emacs compatibility (buffer-string)
David Aspinall
2003-02-02
*
Updated.
David Aspinall
2003-01-29
*
Add remassoc for FSF.
David Aspinall
2003-01-29
*
Set version tag for new release.
David Aspinall
2003-01-20
[next]