1 #!/usr/bin/env bash
2 #
3 # $Id$
4 #
5 # mirror script for Isabelle distribution or website
3 # mirror script for Isabelle distribution or website
6
4
7
5
8 ## diagnostics
6 ## diagnostics