diff options
| author |  Hendrik Tews <hendrik@askra.de> | 2011-01-14 15:50:47 +0000 |
|---|---|---|
| committer | Hendrik Tews <hendrik@askra.de> | 2011-01-14 15:50:47 +0000 |
| commit | 05f9272860f9f57e6adfa150734ea7aa29702ca7 (patch) | |
| tree | 2f26bec12453529d2e89efa31dcbf2ae75b2302c /doc/.cvsignore | |
| 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 'doc/.cvsignore')
| -rw-r--r-- | doc/.cvsignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/.cvsignore b/doc/.cvsignore index c667379c..1e54881b 100644 --- a/doc/.cvsignore +++ b/doc/.cvsignore @@ -20,6 +20,7 @@ ProofGeneral.info-* ProofGeneral.txt ProofGeneral PG-adapting +PG-adapting.log PG-adapting.dvi PG-adapting.ps PG-adapting.pdf |