lib/classes/mk

simple make script;

#!/bin/bash
# $Id$

rm -rf build/ && mkdir -p build

javac -d build isabelle/IsabelleProcess.java \
&& {
  cd build
  jar cf ../isabelle.jar *
}