--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/cronjob/README	Tue Oct 11 20:20:32 2016 +0200
@@ -0,0 +1,13 @@
+Administrative Isabelle cronjob at TUM
+======================================
+
+- crontab: manual update on target machine
+    crontab -l
+    crontab -e
+
+- self_update: manual installation on target directory
+    cp "$ISABELLE_HOME/Admin/cronjob/self_update "$HOME/cronjob/self_update"
+
+- $HOME/cronjob/run/ -- run-time state
+
+- $HOME/cronjob/log/ -- cumulative log area