obsolete;

--- a/lib/classes/mk	Sat Aug 23 23:20:43 2008 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,14 +0,0 @@
-#!/bin/bash
-# $Id$
-
-rm -rf build/ && mkdir -p build
-
-rm -f isabelle.jar
-
-javac -d build isabelle/IsabelleProcess.java \
-&& (
-  cd build
-  jar cf ../isabelle.jar isabelle/*.class
-)
-
-rm -rf build/