# HG changeset patch
# User wenzelm
# Date 1350727280 -7200
# Node ID 6770da31efd8b5285000237b8f3cf0484b55355a
# Parent  119440fe1d5c6b33a94bbe48f1cc16a983ef972f
obsolete, cf. README_REPOSITORY;

diff -r 119440fe1d5c -r 6770da31efd8 src/Tools/jEdit/README_BUILD
--- a/src/Tools/jEdit/README_BUILD	Sat Oct 20 12:00:48 2012 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,23 +0,0 @@
-Requirements for instantaneous build from repository
-====================================================
-
-* Java JDK 1.7 from Oracle
-  http://www.oracle.com/technetwork/java/javase/downloads/index.html
-
-  (experimental support for JDK/OpenJDK 1.7)
-
-* Scala 2.9.2
-  http://www.scala-lang.org
-
-  (experimental support for Scala 2.10.x milestones)
-
-  Note that the official directory layout of JDK and Scala is required!
-
-* Auxiliary jedit_build component according to Admin/components/main
-
-
-Build and run
-=============
-
-isabelle jedit -l HOL Test.thy
-