| Commit message (Collapse) | Author | Age |
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
cause breakage on older Emacs (tested on 22.2).
|
| |
|
|
|
|
|
|
|
| |
namespaces fixes.
pre-shell-start-hook: remove this, use default names for modes
proof-compat: simplify architecture flags, use standard (featurep 'xemacs).
|
| |
|
| |
|
|
|
|
| |
more Emacs ports easily
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
so that enablers work at least as well as they did before...
|
| |
|
| |
|
| |
|
|
|
|
|
| |
Remove support for obsolete 1-bit xbm images
Update comments
|
| |
|
|
|
|
| |
proof-config to allow easier configuration.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
disable enablers if < XEmacs 21.
|
| |
|