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 (
Collapse
)
Author
Age
*
Added proof-defassfun. Comments
David Aspinall
2000-05-12
|
*
Use (proof-ass X) instead of function call.
David Aspinall
2000-05-12
|
*
Specific keys begin C-c C-a, not C-c a.
David Aspinall
2000-05-12
|
*
Moved utility functions to proof-utils.
David Aspinall
2000-05-12
|
*
Fix to function name
David Aspinall
2000-05-12
|
*
Set version tag for new release.
David Aspinall
2000-05-11
|
*
Note abut ;;;###autoload not working for define-derived-mode.
David Aspinall
2000-05-11
|
*
Use proof-deftoggle macro.
David Aspinall
2000-05-11
|
|
|
|
|
Comments about failure for ;;;###autoload cookie for define-derived-mode Attempted fixes for C-x C-w, C-x C-v, revert-buffer.
*
Compatibility hack
David Aspinall
2000-05-11
|
*
Use proof-deftoggle macro.
David Aspinall
2000-05-11
|
*
Fix for funnily named provers (Isabelle/Isar) and Emacs compatibility.
David Aspinall
2000-05-11
|
*
Extra arg to proof-splash-display-screen.
David Aspinall
2000-05-11
|
*
Menus and code cleanup
David Aspinall
2000-05-11
|
*
Removed duplicate declaration
David Aspinall
2000-05-11
|
*
Extra arg to proof-splash-display-screen to serve as an About box.
David Aspinall
2000-05-11
|
*
New mechanism for defining customization variables per-prover.
David Aspinall
2000-05-11
|
*
New setting on the way...
David Aspinall
2000-05-09
|
*
Set version tag for new release.
David Aspinall
2000-05-09
|
*
Fixup menus.
David Aspinall
2000-05-09
|
*
Fixup loading.
David Aspinall
2000-05-09
|
*
Removed menus, keybinding. Removed compatibility hacks. Improved loading.
David Aspinall
2000-05-09
|
*
Improved loading
David Aspinall
2000-05-09
|
*
Prevent proof-set-value until proof-config-loaded. (C) on splash screen.
David Aspinall
2000-05-09
|
*
Comments.
David Aspinall
2000-05-09
|
*
Removed autoloads, util functions.
David Aspinall
2000-05-09
|
*
Added some functions for developers.
David Aspinall
2000-05-09
|
*
Moved code to proof-menu.el
David Aspinall
2000-05-09
|
*
Added proof-splice-separator.
David Aspinall
2000-05-09
|
*
Splash screen now shown from autoloaded function.
David Aspinall
2000-05-09
|
*
Remove use of cl. Add require on proof-autoloads.
David Aspinall
2000-05-09
|
*
Improve loading
David Aspinall
2000-05-09
|
*
New files
David Aspinall
2000-05-09
|
*
Comments
David Aspinall
2000-05-07
|
*
Set version tag for new release.
David Aspinall
2000-05-05
|
*
Comments. Minor improvements for electric terminator and ↵
David Aspinall
2000-05-05
|
|
|
|
proof-follow-mode='ignore
*
Corrected header.
David Aspinall
2000-05-05
|
*
Moved code into proof-system and proof-utils.
David Aspinall
2000-05-05
|
*
Files for interfacing with proof system, e.g. maintaining settings.
David Aspinall
2000-05-05
|
*
General utility functions, moved from proof.el
David Aspinall
2000-05-05
|
*
Added menu entry for proof-goto-end-of-locked.
David Aspinall
2000-05-05
|
*
Added variables for customization groups so they can be set automatically.
David Aspinall
2000-05-05
|
*
Improved docs, declaration of variables set in proof-site, settings ↵
David Aspinall
2000-05-05
|
|
|
|
mechanism begun.
*
Added proof-assistant-keymap and commands for defining insert keys.
David Aspinall
2000-05-02
|
*
Helper macros.
David Aspinall
2000-05-01
|
*
Set version tag for new release.
David Aspinall
2000-05-01
|
*
Added proof-assistant-menu-entries for proof assistant specific menus.
David Aspinall
2000-05-01
|
*
Set version tag for new release.
David Aspinall
2000-04-28
|
*
Set version tag for new release.
David Aspinall
2000-04-26
|
*
Fix %r modifier in proof-format-filename.
David Aspinall
2000-04-25
|
*
Note about efficiency/bug fix by Markus.
David Aspinall
2000-04-25
|
[next]