# HG changeset patch
# User wenzelm
# Date 1219526510 -7200
# Node ID 74d32406010f1304787ee54742db7f496b8107bb
# Parent  12d9ec5b08dede82e47a074856b6d2da62b47b04
obsolete;

diff -r 12d9ec5b08de -r 74d32406010f lib/classes/mk
--- 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/