| Thu, 15 Feb 2018 13:04:36 +0100 | wenzelm | merged | changeset | files |
| Thu, 15 Feb 2018 12:11:00 +0100 | wenzelm | more symbols; | changeset | files |
| Wed, 14 Feb 2018 16:32:09 +0100 | nipkow | New theory ex/Radix_Sort.thy | changeset | files |
| Wed, 14 Feb 2018 11:51:03 +0100 | Lars Hupel | records based on datatypes/BNF infrastructure | changeset | files |
| Tue, 13 Feb 2018 14:24:50 +0100 | wenzelm | updated polyml component; | changeset | files |
| Tue, 13 Feb 2018 13:58:37 +0100 | wenzelm | no --enable-shared: leads to slow bigint operations (e.g. in session HOL-ODE-Examples); | changeset | files |
| Tue, 13 Feb 2018 12:18:16 +0100 | wenzelm | retain remote_builds_old for build_status; | changeset | files |