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
*
Shorten startup message
David Aspinall
2009-09-03
*
Set version tag for new release.
David Aspinall
2009-09-01
*
Remove some old X-Symbol references; update docs.
David Aspinall
2009-09-01
*
Comment about GNU Emacs port
David Aspinall
2009-09-01
*
Fixed a parenthesis bug in pg-pbrpml.el + compatibility with 3.7 where proof-...
Christophe Raffalli
2009-09-01
*
Unnecessary test
David Aspinall
2009-08-31
*
Update docs
David Aspinall
2009-08-31
*
Set version tag for new release.
David Aspinall
2009-08-31
*
Cleanup of interactive point moving functions (in progress)
David Aspinall
2009-08-29
*
pg-create-in-span-context-menu: fix nesting
David Aspinall
2009-08-28
*
Fix compile warnings
David Aspinall
2009-08-28
*
Update autoloads
David Aspinall
2009-08-28
*
Set version tag for new release.
David Aspinall
2009-08-28
*
Clean up and rearrange variable declaration files
David Aspinall
2009-08-28
*
Add menu entry for setting proof assistant command
David Aspinall
2009-08-25
*
Doc tweaks via checkdoc.
David Aspinall
2009-08-20
*
proof-one-command-per-line: change default, use in proof-insert-pbp-command.
David Aspinall
2009-08-20
*
Documentation improvements.
David Aspinall
2009-08-20
*
proof-resp-font-lock-keywords -> correct name proof-response-font-lock-keywords
David Aspinall
2009-08-20
*
proof-shell-insert: add scriptspan argument, to pass source positions to proo...
David Aspinall
2009-08-19
*
Docstrings
David Aspinall
2009-08-19
*
proof-splice-separator: ignore nil entries for convenience
David Aspinall
2009-08-19
*
Bump year
David Aspinall
2009-08-19
*
Note
David Aspinall
2009-08-18
*
Set version tag for new release.
David Aspinall
2009-08-17
*
Move proof-interrupt-process to proof-shell. Add pending interrupt behaviour...
David Aspinall
2009-08-17
*
Tidy
David Aspinall
2009-08-17
*
Fix proof-next-error key binding
David Aspinall
2009-08-17
*
Update doc
David Aspinall
2009-08-17
*
proof-looking-at-syntactic-context: allow proof assistant
David Aspinall
2009-08-17
*
Only move proof-overlay-arrow once it's got a position.
David Aspinall
2009-08-17
*
Move the overlay arrow backwards in case of edits above it which
David Aspinall
2009-08-17
*
Start refactoring to support more sophisticated queue handling, by adding fla...
David Aspinall
2009-08-14
*
pg-last-output-displayform: add convenience function
David Aspinall
2009-08-14
*
Add key binding for proof-query-identifier
David Aspinall
2009-08-14
*
pg-current-word-pos: add for convenience in identifier query function
David Aspinall
2009-08-14
*
Tweak pg-identifier-near-point-query to add decoration to buffer.
David Aspinall
2009-08-14
*
Rename proof-shell-process-output -> proof-shell-classify-output
David Aspinall
2009-08-14
*
Add identifier info command to toolbar
David Aspinall
2009-08-14
*
Add info command to toolbar, and re-enable command, interrupt, restart.
David Aspinall
2009-08-14
*
Set version tag for new release.
David Aspinall
2009-08-13
*
Add parser cache for proof-segment-up-to.
David Aspinall
2009-08-13
*
Add menu setting to set proof-strict-read-only to 'retract
David Aspinall
2009-08-13
*
proof-strict-read-only: replace 'strict with t. Add proof-use-parser-cache.
David Aspinall
2009-08-13
*
Add indirection for setting unicode tokens variables to add customize menu op...
David Aspinall
2009-08-12
*
Set version tag for new release.
David Aspinall
2009-08-07
*
Remove experimental setting. Define toggle function.
David Aspinall
2009-08-07
*
proof-full-annotation: change default
David Aspinall
2009-08-07
*
Fix pareno
David Aspinall
2009-08-07
*
Extend implementation of identifier-under-mouse (now pg-identifier-query)
David Aspinall
2009-08-07
[next]