| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
proof-mode-for-script seems undefined
|
|
working with PG 3.7
|
|
content !)
sym-lock is still available on xemacs only
various other bug fix.
|
|
|
|
|
|
|
|
|
|
Fix interface to custom, saved faces are in .emacs, not current buffer(!).
|
|
|
|
|
|
|
|
|
|
|
|
as not reliable; extra work needed on both sides.
See http://proofgeneral.inf.ed.ac.uk/trac/ticket/277
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
symbolizing old files.
|
|
unicode-tokens-replace-shortcut-match.
|
|
|
|
|
