Wed, 20 Jul 2016 13:51:38 +0200 | fleury | adding mset_map to the simp rules | changeset | files |
Tue, 19 Jul 2016 16:50:39 +0200 | wenzelm | misc tuning and simplification; | changeset | files |
Tue, 19 Jul 2016 16:35:51 +0200 | wenzelm | misc tuning and simplification; | changeset | files |
Tue, 19 Jul 2016 14:09:55 +0200 | Lars Hupel | added missing transfer rule | changeset | files |
Tue, 19 Jul 2016 09:55:03 +0200 | wenzelm | Linux platform base-line is Ubuntu 12.04 LTS; | changeset | files |
Sun, 17 Jul 2016 11:47:35 +0200 | Lars Hupel | more precise error information for dynamic Scala tools | changeset | files |
Sat, 16 Jul 2016 19:35:27 +0200 | wenzelm | tuned signature; | changeset | files |