#!/bin/bash
# $Id: mk,v 1.2 2008/01/06 15:59:42 wenzelm Exp $

rm -rf build/ && mkdir -p build

javac -d build isabelle/IsabelleProcess.java \
&& (
  cd build
  jar cf ../isabelle.jar isabelle/*.class
)

rm -rf build/

