| Fri, 10 Jan 2020 16:37:47 +0100 | wenzelm | clarified script name; | changeset | files |
| Fri, 10 Jan 2020 15:42:13 +0100 | wenzelm | prefer mercurial-2.8.2 for more robustness (i.e. the version used by the hosting service https://admin.phacility.com); | changeset | files |
| Thu, 09 Jan 2020 16:01:31 +0100 | wenzelm | proper name; | changeset | files |
| Thu, 09 Jan 2020 15:45:31 +0100 | wenzelm | more Isabelle fonts, notably for File Browser title in GTK L&F; | changeset | files |
| Thu, 09 Jan 2020 13:47:08 +0100 | wenzelm | eliminated deprecated scala.collection.JavaConversions; | changeset | files |
| Thu, 09 Jan 2020 13:44:16 +0100 | wenzelm | unused; | changeset | files |
| Thu, 09 Jan 2020 13:39:33 +0100 | wenzelm | tuned -- more direct java.util.Map.of; | changeset | files |
| Thu, 09 Jan 2020 08:42:01 +0100 | nipkow | added lemma | changeset | files |