diff options
| author | Thomas Kleymann | 1998-10-18 15:36:00 +0000 |
|---|---|---|
| committer | Thomas Kleymann | 1998-10-18 15:36:00 +0000 |
| commit | d1c19bc44d6ebb68e8f9be5aeb68aa678da256cb (patch) | |
| tree | 27b8916da9741ac78e0a5677a026d285d9fd2797 /README | |
| parent | b73c530b8230de54b0b3866e1cd77784d961528e (diff) | |
added specification for a more generic mechanism for large undos
COQ: C-c u inside a Section should reset the whole section, then
redo defns
LEGO: consider Discharge; perhaps unrol to the beginning of the
module?
The suggested mechanism subsumes the current setup for normal commands
and goalsave properties.
Diffstat (limited to 'README')
0 files changed, 0 insertions, 0 deletions