| Wed, 14 Sep 2022 17:35:38 +0200 | wenzelm | obsolete; | file | diff | annotate |
| Sun, 22 Dec 2019 16:12:13 +0100 | wenzelm | improved Markdown-like display in Phabricator; | file | diff | annotate |
| Sat, 08 Dec 2018 22:31:34 +0100 | wenzelm | replaced "isabelle components_checksum" shell script by "isabelle build_components" in Scala, with more functionality; | file | diff | annotate |
| Wed, 18 Jul 2018 16:44:01 +0200 | wenzelm | prefer HTTPS; | file | diff | annotate |
| Fri, 14 Dec 2012 16:24:12 +0100 | wenzelm | clarified README; | file | diff | annotate |
| Fri, 14 Dec 2012 16:21:47 +0100 | wenzelm | more formal components_checksum tool; | file | diff | annotate |
| Fri, 14 Dec 2012 16:02:31 +0100 | wenzelm | just one Admin/components/ directory; | file | diff | annotate | base |