index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
plastic
Commit message (
Expand
)
Author
Age
*
Removed spurious requires.
David Aspinall
2000-06-09
*
adapted to new indentation setup;
Makarius Wenzel
2000-06-08
*
Fixed define-key calls. Set useful default for plastic prog name
David Aspinall
2000-05-29
*
fixed error in test.lf
Paul Callaghan
2000-05-26
*
Added proof-assistant-keymap and commands for defining insert keys.
David Aspinall
2000-05-02
*
pbp-mode -> goals-mode
David Aspinall
2000-04-07
*
Fixed up proof-shell-proof-completed mess nicely.
David Aspinall
2000-04-07
*
New/updated information files
David Aspinall
2000-03-13
*
Fixes for short output duplication problem: set proof-shell-eager-annotation-...
David Aspinall
2000-01-06
*
proof-shell-done-invisible -> proof-done-invisible again
David Aspinall
1999-11-22
*
Fix several bugs caused by interface changes.
David Aspinall
1999-11-17
*
Change name of proof-execute-minibufer-cmd.
David Aspinall
1999-11-15
*
Removed proof-try-command.
David Aspinall
1999-11-15
*
Many robustness improvements for error and interrupt handling:
David Aspinall
1999-11-14
*
Set font-lock-keywords before calling proof-config-done.
David Aspinall
1999-11-12
*
small changes to plastic mode
Paul Callaghan
1999-11-11
*
Electric (active) terminator is now a user option, does not need forcing here.
David Aspinall
1999-11-10
*
Changed name of proof-shell-cd-cmd for uniformity.
David Aspinall
1999-10-21
*
Renamed some configuration variables for uniformity, see CHANGES.
David Aspinall
1999-10-01
*
proof-completed-regexp: match number 1 is response text;
Makarius Wenzel
1999-09-22
*
renamed proof-commands-regexp to proof-indent-commands-regexp, which
Makarius Wenzel
1999-05-27
*
changed use of proof-send (OLD) to proof-shell-insert
Paul Callaghan
1999-05-12
*
instantiation for "plastic" proof assistant
Paul Callaghan
1999-05-11