diff -r 5bc43a73d768 -r 4b247a7586c9 src/Pure/package.scala
--- a/src/Pure/package.scala	Thu Jul 24 13:01:49 2014 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,11 +0,0 @@
-/*  Title:      Pure/package.scala
-    Module:     PIDE
-    Author:     Makarius
-
-Toplevel isabelle package.
-*/
-
-package object isabelle extends isabelle.Basic_Library
-{
-}
-