Wed, 07 Sep 2011 16:53:49 +0200 | wenzelm | tuned/simplified proofs; | changeset | files |
Wed, 07 Sep 2011 16:37:50 +0200 | wenzelm | tuned proofs; | changeset | files |
Wed, 07 Sep 2011 11:36:39 +0200 | wenzelm | deactivate unfinished charset provider for now, to avoid user confusion; | changeset | files |