| Mon, 17 Dec 2012 14:51:34 +0100 | wenzelm | more hints on technical issues due to shared-disk access of central Mercurial repository; | file | diff | annotate |
| Sun, 12 Aug 2012 17:39:06 +0200 | wenzelm | some information for central Isabelle repository configuration; | file | diff | annotate |