changeset 62836 | 98dbed6cfa44 |
parent 62835 | 1a9ce1b13b20 |
child 62837 | 237ef2bab6c7 |
--- a/lib/Tools/update_then Sun Apr 03 22:54:31 2016 +0200 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,9 +0,0 @@ -#!/usr/bin/env bash -# -# Author: Makarius -# -# DESCRIPTION: expand old Isar command conflations 'hence' and 'thus' - -isabelle_admin_build jars || exit $? - -exec isabelle java isabelle.Update_Then "$@"