| changeset 62834 | 970cedec9748 |
| parent 62833 | 29dfa2ed9343 |
| child 62835 | 1a9ce1b13b20 |
--- a/lib/Tools/check_sources Sun Apr 03 22:42:15 2016 +0200 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,9 +0,0 @@ -#!/usr/bin/env bash -# -# Author: Makarius -# -# DESCRIPTION: some sanity checks for Isabelle sources - -isabelle_admin_build jars || exit $? - -isabelle java isabelle.Check_Sources "$@"