isabelle: Admin/isatest/crontab.macbroy28@8f3ae4d04a2d (annotated)

37800 fc0c89c7c2cb new crontab kleing parents: 37761 diff changeset	1	# now on macbroy2:
fc0c89c7c2cb new crontab kleing parents: 37761 diff changeset	2	#17 10 * * 1-6 $HOME/afp/devel/admin/regression -
fc0c89c7c2cb new crontab kleing parents: 37761 diff changeset	3	#32 12 * * 0 $HOME/afp/release/admin/regression Isabelle2009-2
37761 decac8d1c8e7 Added current crontab of macbroy28 kleing parents: diff changeset	4
decac8d1c8e7 Added current crontab of macbroy28 kleing parents: diff changeset	5	03 00 * * * $HOME/bin/checkout-admin
decac8d1c8e7 Added current crontab of macbroy28 kleing parents: diff changeset	6	17 00 * * * $HOME/bin/isatest-makedist
decac8d1c8e7 Added current crontab of macbroy28 kleing parents: diff changeset	7	01 08 * * * $HOME/bin/isatest-check
decac8d1c8e7 Added current crontab of macbroy28 kleing parents: diff changeset	8	17 08 * * * $HOME/bin/isatest-doc
decac8d1c8e7 Added current crontab of macbroy28 kleing parents: diff changeset	9
decac8d1c8e7 Added current crontab of macbroy28 kleing parents: diff changeset	10	04 23 31 1,3,5,7,8,10,12 * $HOME/bin/logmove
decac8d1c8e7 Added current crontab of macbroy28 kleing parents: diff changeset	11	04 23 30 4,6,9,11 * $HOME/bin/logmove
decac8d1c8e7 Added current crontab of macbroy28 kleing parents: diff changeset	12	04 23 28 2 * $HOME/bin/logmove