| Fri, 19 Sep 2014 13:27:04 +0200 | blanchet | reintroduced old setup for size of basic types | file | diff | annotate |
| Fri, 19 Sep 2014 13:27:04 +0200 | blanchet | keep obsolete interpretations in Main, to avoid merge trouble | file | diff | annotate |
| Thu, 18 Sep 2014 16:47:40 +0200 | blanchet | moved old 'size' generator together with 'old_datatype' | file | diff | annotate |
| Tue, 16 Sep 2014 19:23:37 +0200 | blanchet | tuned fact visibility | file | diff | annotate |
| Tue, 16 Sep 2014 19:23:37 +0200 | blanchet | register 'prod' and 'sum' as datatypes, to allow N2M through them | file | diff | annotate |