--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/cronjob/main	Tue Oct 11 20:20:32 2016 +0200
@@ -0,0 +1,11 @@
+#!/usr/bin/env bash
+#
+# DESCRIPTION: start the main Isabelle cronjob
+
+THIS="$(cd "$(dirname "$0")"; pwd)"
+
+source "$HOME/.bashrc"
+
+"$THIS/../build" jars || exit $?
+
+exec "$THIS/../../bin/isabelle_java" isabelle.Isabelle_Cronjob "$@"