| Tue, 24 Jul 2012 13:11:50 +0200 | wenzelm | tuned message; | changeset | files |
| Tue, 24 Jul 2012 12:54:34 +0200 | wenzelm | actually negate "document" (cf. 7483aa690b4f); | changeset | files |
| Tue, 24 Jul 2012 12:47:48 +0200 | wenzelm | clarified no_build vs. verbose; | changeset | files |
| Tue, 24 Jul 2012 12:38:33 +0200 | wenzelm | clarified "document" again, eliminated redundant "no_document"; | changeset | files |
| Tue, 24 Jul 2012 12:28:20 +0200 | wenzelm | clarified build -n (no build); | changeset | files |
| Tue, 24 Jul 2012 12:20:01 +0200 | wenzelm | added "document_dump_only" (cf. negated usedir -C); | changeset | files |
| Tue, 24 Jul 2012 12:14:16 +0200 | wenzelm | more precise propagation of options: build, session, theories; | changeset | files |