index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
*
Add home icon
David Aspinall
2009-08-07
*
Re-enable toolbar commands on main menu; add home icon
David Aspinall
2009-08-07
*
Rename lockedend -> home
David Aspinall
2009-08-07
*
proof-colour-locked: complete implementation
David Aspinall
2009-08-07
*
rename: proof-full-decoration -> proof-full-annotation
David Aspinall
2009-08-07
*
rename: proof-full-decoration -> proof-full-annotation
David Aspinall
2009-08-07
*
Name changes and tweaks: proof-full-decoration -> proof-full-decoration,
David Aspinall
2009-08-07
*
Rename proof-shell-identifier-under-mouse-cmd -> proof-query-identifier-command
David Aspinall
2009-08-07
*
Add docstrings. Regexp quote to escape control chars and regions
David Aspinall
2009-08-06
*
Emulate old behaviour after all
David Aspinall
2009-08-06
*
Prevent setting of proof-overlay-arrow if not configured
David Aspinall
2009-08-06
*
Work in progress on multiple instances of token modes
David Aspinall
2009-08-06
*
New configuration variable proof-use-pgip-askprefs. Use setting group names ...
David Aspinall
2009-08-06
*
Add configuration setting for Find Theorems form
David Aspinall
2009-08-06
*
Add overlay arrow ported from Kit.
David Aspinall
2009-07-30
*
Tune walkthrough documentation
David Aspinall
2009-07-30
*
Add proof-colour-locked option to leave locked region background uncoloured.
David Aspinall
2009-07-30
*
Update autoloads
David Aspinall
2009-07-30
*
Sanitize some email addresses away
David Aspinall
2009-07-30
*
Improve documentation. Add `unicode-tokens-list-shortcuts'.
David Aspinall
2009-07-30
*
Fix so highlighting of real unicode characters setting is obeyed when mode to...
David Aspinall
2009-07-30
*
Define maths-menu-insert-XX functions for convenience of user-defined keybind...
David Aspinall
2009-07-30
*
Improve docstring
David Aspinall
2009-07-30
*
Use descriptions of help items to set menu tooltips (resolve trac #218)
David Aspinall
2009-07-30
*
Remove asterisks from docstrings of pacustoms (will appear in menus now)
David Aspinall
2009-07-30
*
ISABELLE_TOOL refers to "isabelle" tool wrapper;
Makarius Wenzel
2009-07-29
*
more robust treatment of options and arguments (via arrays and special @ expa...
Makarius Wenzel
2009-05-30
*
Cleanup more Emacs compatibility
David Aspinall
2009-05-27
*
Check unicode-tokens-mode is bound
David Aspinall
2009-05-27
*
Bump Emacs version
David Aspinall
2009-05-26
*
Add proof state hover messages to proof script, along with useful customization.
David Aspinall
2009-05-26
*
Add functions for encoding string and buffer regions
David Aspinall
2009-05-26
*
Revert "logic" fix.
David Aspinall
2009-05-26
*
More isatool->isabelle renamings and an (old) logic fix
David Aspinall
2009-05-26
*
Correct Unicode support
David Aspinall
2009-05-26
*
Update version, latest only.
David Aspinall
2009-05-26
*
Set version tag for new release.
David Aspinall
2009-05-26
*
Fix header
David Aspinall
2009-05-26
*
Updated
David Aspinall
2009-05-26
*
Remove process-live-p, move complete autoload to use point
David Aspinall
2009-05-26
*
proof-goto-end-of-locked-on-error-if-pos-not-visible-in-window: obey
David Aspinall
2009-05-26
*
Remove yank-handler experiment, in favour of buffer-substring-filters
David Aspinall
2009-05-26
*
Add proof-shell-strip-output-markup to handle pasting markedup texdt. Minor c...
David Aspinall
2009-05-26
*
*** empty log message ***
David Aspinall
2009-05-26
*
isar-strip-output-markup: simple output markup stripping
David Aspinall
2009-05-26
*
Set strip-output-function for pasting. Adjust font-lock handling to
David Aspinall
2009-05-26
*
Test case for #266
David Aspinall
2009-05-26
*
unicode-tokens-symbs-to-props: Allow multiple properties to work. Note: font...
David Aspinall
2009-05-26
*
Updated
David Aspinall
2009-05-26
*
Add proof-electric-terminator-noterminator behaviour for Isar
David Aspinall
2009-05-26
[next]