Admin/PIDE/README
changeset 64385 d072d327b9b2
parent 64380 4b22e1268779
child 64386 e936967c2a06
--- a/Admin/PIDE/README	Mon Oct 24 18:25:30 2016 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,10 +0,0 @@
-Prover IDE support
-==================
-
-This is some basic support for PIDE Scala programming, independently
-of the main Isabelle repository.
-
-
-  Makarius
-  17-Jan-2012
-