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
...
*
Set version tag for new release.
David Aspinall
2000-05-29
*
Added new parsing mechanism. Began removing proof-terminal-string.
David Aspinall
2000-05-29
*
Updated
David Aspinall
2000-05-29
*
Don\'t wait for ever if process dies on startup
David Aspinall
2000-05-29
*
Generalized proof-format to allow sexps in replacement.
David Aspinall
2000-05-29
*
Missing parenthesis
David Aspinall
2000-05-29
*
Added functions for defining string and integer setters, for proof assistant ...
David Aspinall
2000-05-29
*
New stuff for making proof assistant settings.
David Aspinall
2000-05-29
*
Added configuration variables for proof assistant settings. Docstring for fa...
David Aspinall
2000-05-29
*
Added replace-string for FSF.
David Aspinall
2000-05-29
*
Docstring.
David Aspinall
2000-05-26
*
Removed proof-script-indent check.
David Aspinall
2000-05-26
*
Update to use generic option indent-line, and switch inside
David Aspinall
2000-05-26
*
Switch to using per-prover generic option for x-symbol-enable.
David Aspinall
2000-05-26
*
Binding for complete.
David Aspinall
2000-05-26
*
Macros for generic custom settings from proof-config.
David Aspinall
2000-05-26
*
Rename proof-defass-custom -> defpgcustom.
David Aspinall
2000-05-26
*
Moved compatibility code into proof-compat.el
David Aspinall
2000-05-26
*
Only extend the load path if necessary
David Aspinall
2000-05-26
*
Attempt to quote @ (failed, dunno why)
David Aspinall
2000-05-26
*
Temp hacks to get doc to build before proper commits.
David Aspinall
2000-05-25
*
Made x-symbol-enable be individual option.
David Aspinall
2000-05-25
*
Added completion table code.
David Aspinall
2000-05-25
*
Patch for synchronization problem in Coq, perhaps others.
David Aspinall
2000-05-25
*
When button enablers disabled, don't use itimer or after-change hook.
David Aspinall
2000-05-25
*
Next button is enabled whenever locked region is not full.
David Aspinall
2000-05-25
*
Set version tag for new release.
David Aspinall
2000-05-25
*
Turn off button enablers when running on Solaris
David Aspinall
2000-05-25
*
Clarify favourites command: key sequence will begin with C-c C-a.
David Aspinall
2000-05-17
*
Set version tag for new release.
David Aspinall
2000-05-17
*
Fix buttons must be 3 long error
David Aspinall
2000-05-16
*
Set version tag for new release.
David Aspinall
2000-05-16
*
Docstring fix
David Aspinall
2000-05-16
*
Fixes for defining favourites, added warning for pre-release users.
David Aspinall
2000-05-16
*
Added proof-ready-for-assistant function to help docstring magic.
David Aspinall
2000-05-16
*
Comment added
David Aspinall
2000-05-16
*
Add proof-strict-state-preserving setting
David Aspinall
2000-05-16
*
Added version string to splash. Added proof-strict-state-preserving
David Aspinall
2000-05-16
*
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
*
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
[prev]
[next]