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
...
*
Updated.
David Aspinall
2008-02-06
*
proof-unicode-tokens-set-global: call proof-unicode-tokens-init.
David Aspinall
2008-02-06
*
proof-quick-opts-vars: add <PA>-unicode-tokens-enable
David Aspinall
2008-02-06
*
Use proof-auxmodes to load auxiliary modes properly when required.
David Aspinall
2008-02-06
*
New files.
David Aspinall
2008-02-06
*
proof-ready-for-assistant: Only make ready for assistant once(!)
David Aspinall
2008-02-06
*
Further configuration settings
David Aspinall
2008-02-04
*
Set version tag for new release.
David Aspinall
2008-01-31
*
Add another window system: w32 for win 32.
David Aspinall
2008-01-31
*
comment: proof-compat not needed for pg-defface-window-systems (but leave in ...
David Aspinall
2008-01-31
*
Make mouse 1 binding compatible also with XEmacs.
David Aspinall
2008-01-31
*
Sendback commands from response buffer sent via assert-until-point, with ordi...
David Aspinall
2008-01-31
*
More apparent decoration for active (sendback) areas
David Aspinall
2008-01-31
*
Sendback commands from response buffer sent via assert-until-point, with ordi...
David Aspinall
2008-01-31
*
Add a mouse-1 binding for active areas in goals/response output.
David Aspinall
2008-01-31
*
Set version tag for new release.
David Aspinall
2008-01-31
*
Comments.
David Aspinall
2008-01-31
*
Move version check in case proof-site.el is loaded, not proof-site.elc
David Aspinall
2008-01-31
*
Disable X-Symbol on emacs >= 23. Internal interfaces have changed
David Aspinall
2008-01-31
*
Fix RCS tags
David Aspinall
2008-01-30
*
Set version tag for new release.
David Aspinall
2008-01-30
*
Comment cleanups. buffer-substring -> buffer-substring-no-properties.
David Aspinall
2008-01-30
*
Update year
David Aspinall
2008-01-30
*
Support dynamically changing short-cut list
David Aspinall
2008-01-30
*
Comments re trac #187
David Aspinall
2008-01-30
*
Documentation.
David Aspinall
2008-01-30
*
Disable experimental features, finally.
David Aspinall
2008-01-30
*
Deleted file
David Aspinall
2008-01-30
*
proof-interrupt-process: avoid effect of comint-skip-input (printing interrup...
David Aspinall
2008-01-29
*
buffer-substring -> buffer-substring-no-properties since we never use them
David Aspinall
2008-01-29
*
Set version tag for new release.
David Aspinall
2008-01-29
*
Move proof-experimental-features back and make it constant.
David Aspinall
2008-01-29
*
Move proof-experimental-features
David Aspinall
2008-01-29
*
Fix behaviour of proof-x-symbol-enable to follow customize
David Aspinall
2008-01-29
*
Experiment with enabling this for XEmacs.
David Aspinall
2008-01-29
*
Comments.
David Aspinall
2008-01-29
*
Clarify 'proof-allow-undo-in-read-only=nil' only works on GNU Emacs
David Aspinall
2008-01-29
*
Typo.
David Aspinall
2008-01-29
*
proof-set-queue-endpoints: only use undo-discarding function if
David Aspinall
2008-01-29
*
Add Unicode Tokens menu item; prevent (easily) selecting Unicode Tokens
David Aspinall
2008-01-29
*
Use correct shell encoding function!
David Aspinall
2008-01-29
*
Disable undo in read-only region; add proof-allow-undo-in-read-only setting
David Aspinall
2008-01-29
*
Fix to proof-x-symbol-enable: only engage when indeed being turned on.
David Aspinall
2008-01-28
*
Experimental features again only for pre-releases.
David Aspinall
2008-01-28
*
Add autoload for proof-unicode-tokens-shell-config
David Aspinall
2008-01-28
*
Add hooks for unicode tokens within proof shell
David Aspinall
2008-01-28
*
Support decoding of unicode tokens in output
David Aspinall
2008-01-28
*
Add shortcuts for tokens.
David Aspinall
2008-01-28
*
Set version tag for new release.
David Aspinall
2008-01-27
*
Fix startup
David Aspinall
2008-01-27
[prev]
[next]