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
*
Update
David Aspinall
2009-09-05
*
pg-protected-undo: Use key remapping instead of hacking function values
David Aspinall
2009-09-05
*
Comment
David Aspinall
2009-09-05
*
proof-set-queue-endpoints: no undo-make-selective-list (pg-protected-undo rep...
David Aspinall
2009-09-05
*
proof-allow-undo-in-read-only: change default to nil for new implementation
David Aspinall
2009-09-05
*
Add protected undo
David Aspinall
2009-09-05
*
Default `proof-full-annotation' to off to cause least surprise to upgraders
David Aspinall
2009-09-05
*
Clean whitespace
David Aspinall
2009-09-05
*
Missing unused function
David Aspinall
2009-09-05
*
Whitespaces and comments
David Aspinall
2009-09-05
*
replace-in-string -> replace-regexp-in-string
David Aspinall
2009-09-04
*
Simplify Info-directory handling
David Aspinall
2009-09-04
*
Alternative implementation of pg-remove-specials which does not introduce res...
David Aspinall
2009-09-04
*
Define a cleanup function to run intermittently or by hand, avoiding pg-remov...
David Aspinall
2009-09-04
*
Remove proof-shell-prompt-pattern, no longer used.
David Aspinall
2009-09-04
*
Add proof-script-evaluate-elisp-comment-regexp security hole.
David Aspinall
2009-09-04
*
Require on scomint in right place
David Aspinall
2009-09-04
*
proof-file-to-buffer -> find-buffer-visiting
David Aspinall
2009-09-04
*
proof-files-to-buffers, proof-locate-executable: simplify
David Aspinall
2009-09-04
*
Buglets in proof-process-electric-terminator, proof-maybe-follow-locked-end
David Aspinall
2009-09-04
*
proof-looking-at-syntactic-context: moved to proof-utils because of macro use
David Aspinall
2009-09-04
*
proof-files-to-buffers, proof-locate-executable: simplify
David Aspinall
2009-09-04
*
Remove configuration of obsolete package function-menu (aka "fume")
David Aspinall
2009-09-04
*
Remove configuration of obsolete package function-menu (aka "fume")
David Aspinall
2009-09-04
*
Possible bug in interrupt signaling discovered
David Aspinall
2009-09-04
*
capitalisation
David Aspinall
2009-09-04
*
Further simplification
David Aspinall
2009-09-04
*
Simplify splash using view-mode and newer Emacs variables.
David Aspinall
2009-09-04
*
Refactoring point movement commands (in progress). Remove proof-no-command.
David Aspinall
2009-09-04
*
Remove proof-no-command
David Aspinall
2009-09-04
*
comment
David Aspinall
2009-09-04
*
Use scomint instead of comint
David Aspinall
2009-09-04
*
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
[next]