--- a/Admin/isatest/crontab.macbroy28 Tue Jul 13 11:17:13 2010 +0100
+++ b/Admin/isatest/crontab.macbroy28 Tue Jul 13 11:21:22 2010 +0100
@@ -1,5 +1,6 @@
-17 10 * * 1-6 $HOME/afp/devel/admin/regression -
-32 12 * * 0 $HOME/afp/release/admin/regression Isabelle2009-2
+# now on macbroy2:
+#17 10 * * 1-6 $HOME/afp/devel/admin/regression -
+#32 12 * * 0 $HOME/afp/release/admin/regression Isabelle2009-2
03 00 * * * $HOME/bin/checkout-admin
17 00 * * * $HOME/bin/isatest-makedist
@@ -9,4 +10,3 @@
04 23 31 1,3,5,7,8,10,12 * $HOME/bin/logmove
04 23 30 4,6,9,11 * $HOME/bin/logmove
04 23 28 2 * $HOME/bin/logmove
-