| Age | Commit message (Collapse) | Author |
|---|
|
proof-activate-scripting: minor cleanup
proof-assert-until-point: don't go back beyond end of locked
|
|
alter meaning of `proof-only-whitespace-to-locked-region-p';
both now refer to char after point.
Script elements are now stored in hash tables rather than lists.
|
|
|
|
replaces)
proof-done-advancing: remove spurious first case
proof-assert-until-point: don't move point, restore intuitive
behaviour when on whitespace between unprocessed commands
(process preceding commands only)
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
affect the next position to be processed.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
proof-follow-mode=ignore. Ref http://proofgeneral.inf.ed.ac.uk/trac/ticket/187
|
|
|
|
|
|
|
|
This fixes Unicode Tokens handling of sub/super scripts, etc.
See http://proofgeneral.inf.ed.ac.uk/trac/ticket/214
Thanks to Simon Winwood for identifying failure point.
|
|
ordinary span construction.
|
|
|
|
|
|
|
|
|
|
undo-make-selective-list is available (not on XEmacs).
|
|
|
|
(missing apply)
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
namespaces fixes.
pre-shell-start-hook: remove this, use default names for modes
proof-compat: simplify architecture flags, use standard (featurep 'xemacs).
|
|
|
|
|
|
|
|
|
