Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
merged
authorkleing
Tue, 13 Jul 2010 11:23:21 +0100
changeset 37801 868ceaa6b039
parent 37800 fc0c89c7c2cb (diff)
parent 37799 b2f84bb86c73 (current diff)
child 37802 f2e9c104cebd
child 37812 56426b8425a0
merged
--- a/Admin/isatest/crontab.macbroy28	Tue Jul 13 12:20:23 2010 +0200
+++ b/Admin/isatest/crontab.macbroy28	Tue Jul 13 11:23:21 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
-
isabelle