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
*
Updated.
David Aspinall
2003-02-18
*
Add support for MMM mode
David Aspinall
2003-02-18
*
Refactor proof-config-done for clarity
David Aspinall
2003-02-18
*
New files.
David Aspinall
2003-02-18
*
Set version tag for new release.
David Aspinall
2003-02-17
*
Remove proof-shell-filter patch of Stefan Monnier which deals with multiple p...
David Aspinall
2003-02-17
*
Remove subterm markup striping in proof-shell-process-output (error case). Docs
David Aspinall
2003-02-17
*
Set version tag for new release.
David Aspinall
2003-02-16
*
Set version tag for new release.
David Aspinall
2003-02-05
*
Doc generalisation of proof-script-command-end-regexp.
David Aspinall
2003-02-05
*
Tweak proof-script-generic-parse-cmdend to allow .. fix for Coq parsing
David Aspinall
2003-02-05
*
Compatibility function for customize-menu-create
David Aspinall
2003-02-05
*
Give up on customize-menu-create on GNU Emacs
David Aspinall
2003-02-05
*
Set version tag for new release.
David Aspinall
2003-02-03
*
Fix from Christoph Conrad for Emacs compatibility (buffer-string)
David Aspinall
2003-02-02
*
Updated.
David Aspinall
2003-01-29
*
Add remassoc for FSF.
David Aspinall
2003-01-29
*
Set version tag for new release.
David Aspinall
2003-01-20
*
Fake customize menu create for latest Emacs release -- workaround new bug there
David Aspinall
2002-12-29
*
Try to catch nesting too deep ugliness (esp in Isabelle tracing)
David Aspinall
2002-12-29
*
Add followdown
David Aspinall
2002-12-29
*
Add followdown mode; compat note
David Aspinall
2002-12-29
*
Buglet in proof-shell-ready-prover
David Aspinall
2002-12-29
*
Doc
David Aspinall
2002-11-28
*
Add pg-xml-encode-entities.
David Aspinall
2002-11-28
*
Revert proof-shell-handle-output version, add failsafe.
David Aspinall
2002-11-28
*
Autoload proof-definvisible
David Aspinall
2002-11-20
*
Remove junk
David Aspinall
2002-11-20
*
Updated.
David Aspinall
2002-11-20
*
Comment
David Aspinall
2002-11-20
*
proof-shell-invisible-cmd also accepts a function yielding a command.
David Aspinall
2002-11-20
*
Fix typo.
David Aspinall
2002-11-20
*
Add reset options, and save/reset settings items.
David Aspinall
2002-11-20
*
Add pg-custom-reset-vars. Make proofdefintset display current value
David Aspinall
2002-11-20
*
FIXME
David Aspinall
2002-11-20
*
Add pg-issue-pgip
David Aspinall
2002-11-20
*
Add undefpgcustom
David Aspinall
2002-11-18
*
Support redefinitions in proof-defpacustom-fn, by removing custom settings.
David Aspinall
2002-11-18
*
Fixup code to interpret default values.
David Aspinall
2002-11-18
*
Add pg-custom-undeclare-variable.
David Aspinall
2002-11-18
*
Next iteration: add post-processing step, descriptions in haspref.
David Aspinall
2002-11-14
*
Disable message display when parsing xml strings.
David Aspinall
2002-11-14
*
Add proof-assistant-menu-update, allow redefine of setting in pacustom.
David Aspinall
2002-11-14
*
Tweak calling of pg-pgip processing commands.
David Aspinall
2002-11-14
*
Add proof-shell-issue-pgip-cmd
David Aspinall
2002-11-14
*
Erase buffer in kill action. Tweak proof-debug arguments.
David Aspinall
2002-11-14
*
Fix to proof-shell-handle-output (or rather, to setting of proof-shell-last-o...
David Aspinall
2002-11-13
*
Set version tag for new release.
David Aspinall
2002-11-11
*
(Failed) Attempt to fix UTF-8 problem for RH8.
David Aspinall
2002-11-11
*
Set version tag for new release.
David Aspinall
2002-11-08
[next]