| changeset 62841 | 388719339ada |
| parent 62827 | 609f97d79bc2 |
| parent 62840 | d9744f41a4ec |
| child 62842 | db9f95ca2a8f |
--- a/lib/Tools/update_then Sun Apr 03 10:25:17 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 "$@"