| Sat, 17 Dec 2016 15:22:00 +0100 | haftmann | added lemmas demanded by FIXMEs | changeset | files |
| Sat, 17 Dec 2016 15:22:00 +0100 | haftmann | dropped comment after conversation with author: predicate compiler works independently from any code generator setup | changeset | files |
| Sat, 17 Dec 2016 14:47:41 +0100 | wenzelm | unconditional Code_Test_PolyML and Code_Test_Scala: compiler is always present; | changeset | files |