Thu, 01 Jun 2017 16:55:32 +0200 | lammich | Fixed to also work with non-IntInf default int type | changeset | files |
Thu, 01 Jun 2017 23:22:40 +0200 | wenzelm | updated package; | changeset | files |
Thu, 01 Jun 2017 23:17:11 +0200 | wenzelm | proper markup for IsabelleText font; | changeset | files |