Fri, 19 Apr 2013 00:10:52 +0100 | Christian Urban |
updated to simplifier changes | changeset | files |
Mon, 01 Apr 2013 23:22:53 +0100 | Christian Urban |
added example for locales (by Tjark Weber) | changeset | files |
Wed, 27 Mar 2013 17:23:00 +0000 | Christian Urban |
tuned | changeset | files |
Wed, 27 Mar 2013 16:09:46 +0100 | webertj | Fixed proofs to work with 13ab4f0a0b0e. | changeset | files |