diff options
| author |  Hendrik Tews <hendrik@askra.de> | 2011-03-14 09:29:48 +0000 |
|---|---|---|
| committer | Hendrik Tews <hendrik@askra.de> | 2011-03-14 09:29:48 +0000 |
| commit | 5b3f191a9b989bd68bee27ce84aeeeb9fa1060fd (patch) | |
| tree | 3b966cb4659b485bead02403739fc9560174cd72 /twelf | |
| parent | dfb79401d8ea75588305c6e9789895c9c646e76b (diff) | |
- change to proof-restart-buffers for unlocking ancestors
- improve internal docs for unlocking
Diffstat (limited to 'twelf')
0 files changed, 0 insertions, 0 deletions