| Tue, 16 Sep 2014 18:42:33 +0200 | nipkow | added lemma | changeset | files |
| Tue, 16 Sep 2014 16:04:08 +0200 | Andreas Lochbihler | add target language evaluators for the value command; | changeset | files |
| Mon, 15 Sep 2014 18:12:09 +0200 | blanchet | tuning | changeset | files |
| Mon, 15 Sep 2014 17:56:37 +0200 | blanchet | refactoring | changeset | files |
| Mon, 15 Sep 2014 16:34:05 +0200 | blanchet | tuning | changeset | files |
| Mon, 15 Sep 2014 16:14:14 +0200 | blanchet | set 'mono' attribute on 'rel_mono' | changeset | files |
| Mon, 15 Sep 2014 16:11:01 +0200 | blanchet | 'code' is needed for extraction datatype | changeset | files |
| Mon, 15 Sep 2014 14:31:32 +0200 | blanchet | tuning | changeset | files |
| Mon, 15 Sep 2014 12:30:06 +0200 | blanchet | removed accidental '@{print}' | changeset | files |
| Mon, 15 Sep 2014 12:11:41 +0200 | blanchet | tuning | changeset | files |
| Mon, 15 Sep 2014 11:54:47 +0200 | blanchet | more hints on how to port 'size' | changeset | files |
| Mon, 15 Sep 2014 11:37:55 +0200 | blanchet | tuned definition of 'size' function to get nicer properties | changeset | files |
| Mon, 15 Sep 2014 11:17:44 +0200 | blanchet | tuning | changeset | files |
| Mon, 15 Sep 2014 11:10:09 +0200 | blanchet | document size difference | changeset | files |