diff options
| author | Hendrik Tews | 2011-01-14 15:50:47 +0000 |
|---|---|---|
| committer | Hendrik Tews | 2011-01-14 15:50:47 +0000 |
| commit | 05f9272860f9f57e6adfa150734ea7aa29702ca7 (patch) | |
| tree | 2f26bec12453529d2e89efa31dcbf2ae75b2302c /Makefile.devel | |
| parent | a2ba24cc1172258abd98eee6350cdb672e50e4de (diff) | |
- move proof-no-fully-processed-buffer to generic/proof-config
- add documentation for it
- add a test case demonstrating it in
coq/ex/test-cases/retract-completely-asserted
Diffstat (limited to 'Makefile.devel')
0 files changed, 0 insertions, 0 deletions