| Tue, 09 Apr 2019 12:36:53 +0100 | paulson | merged | changeset | files |
| Mon, 08 Apr 2019 20:37:03 +0100 | paulson | NEWS on homology | changeset | files |
| Mon, 08 Apr 2019 15:26:54 +0100 | paulson | First tranche of the Homology development: Simplices | changeset | files |
| Tue, 09 Apr 2019 14:17:29 +0200 | wenzelm | updated to bib2xhtml-20190409: current repository clone; | changeset | files |
| Tue, 09 Apr 2019 11:24:47 +0200 | wenzelm | proper treatment of isabelle_fonts_hinted in etc/preferences (i.e. a change of the default option); | changeset | files |
| Tue, 09 Apr 2019 10:56:25 +0200 | wenzelm | back to scala-2.12.7 (due to reports about problems with new Mac hardware / OS installations by Jasmin Blanchette and Dmitriy Traytel); | changeset | files |
| Tue, 09 Apr 2019 10:51:35 +0200 | wenzelm | tuned -- prefer Isar command 'compile_generated_files'; | changeset | files |