changeset 58995 | 4b247a7586c9 |
parent 58984 | 5bc43a73d768 |
parent 58994 | e7fe592ee089 |
child 58996 | f89c0749533d |
1.1 --- a/src/Pure/package.scala Thu Jul 24 13:01:49 2014 +0200 1.2 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 1.3 @@ -1,11 +0,0 @@ 1.4 -/* Title: Pure/package.scala 1.5 - Module: PIDE 1.6 - Author: Makarius 1.7 - 1.8 -Toplevel isabelle package. 1.9 -*/ 1.10 - 1.11 -package object isabelle extends isabelle.Basic_Library 1.12 -{ 1.13 -} 1.14 -