| Fri, 18 Dec 2020 10:37:26 +0000 | haftmann | clarified name | changeset | files |
| Sat, 19 Dec 2020 00:23:21 +0100 | wenzelm | tuned; | changeset | files |
| Sat, 19 Dec 2020 00:08:14 +0100 | wenzelm | download auxiliary files via "curl"; | changeset | files |
| Sat, 19 Dec 2020 00:04:32 +0100 | wenzelm | clarified markup: open URL as editor file; | changeset | files |
| Sat, 19 Dec 2020 00:00:58 +0100 | wenzelm | download as in Isabelle/Scala; | changeset | files |
| Fri, 18 Dec 2020 23:30:29 +0100 | wenzelm | more robust; | changeset | files |
| Fri, 18 Dec 2020 23:19:07 +0100 | wenzelm | improved markup for theory header imports; | changeset | files |
| Fri, 18 Dec 2020 12:57:25 +0100 | wenzelm | clarified markup (refining dd56ba1974e6); | changeset | files |