| Sun, 06 Nov 2011 17:00:05 +0100 | wenzelm | some statespace benchmarks; | changeset | files |
| Sun, 06 Nov 2011 16:41:53 +0100 | wenzelm | write changed .prv files only, to avoid writing into src file-space by default; | changeset | files |
| Sun, 06 Nov 2011 16:29:22 +0100 | wenzelm | tuned document; | changeset | files |