diff options
| author | David Aspinall | 2010-10-01 16:01:23 +0000 |
|---|---|---|
| committer | David Aspinall | 2010-10-01 16:01:23 +0000 |
| commit | e78ef723da3eb28895691895221854ecce4d3be8 (patch) | |
| tree | 63e7cc3e9b338556f5f6aa26fb998da4616d3a7c /lib | |
| parent | 8adf5468b88841f88806f85cc60f4adc13d8c9ad (diff) | |
proof-script-new-command-advance: add back some indentation attempt
auto sending: improve messages, bind autosend-running flag lexically in case of errors
query identifier: use history variable, remove key bindings
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions