| Mon, 06 Jun 2016 08:36:03 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 06 Jun 2016 08:13:07 +0200 | wenzelm | avoid multiple reports on shared type; | changeset | files |
| Sat, 04 Jun 2016 16:54:23 +0200 | wenzelm | updated to recent changes of Poly/ML directory layout; | changeset | files |
| Sat, 04 Jun 2016 16:23:42 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 04 Jun 2016 16:10:44 +0200 | wenzelm | Integer.lcm normalizes the sign as in HOL/GCD.thy; | changeset | files |
| Fri, 03 Jun 2016 22:27:01 +0200 | wenzelm | support for .scala tools; | changeset | files |