| Thu, 16 Sep 2010 13:49:08 +0200 | bulwahn | adapting examples | changeset | files |
| Thu, 16 Sep 2010 13:49:06 +0200 | bulwahn | registering code_prolog as component; using environment variable; adding settings file for prolog code generation | changeset | files |
| Thu, 16 Sep 2010 13:49:04 +0200 | bulwahn | adding mode inference to prolog compilation; separate between (ad-hoc) code modifications and system_configuration; adapting quickcheck | changeset | files |
| Thu, 16 Sep 2010 15:34:31 +0100 | paulson | merged | changeset | files |