--- a/src/Pure/System/session.scala Sat Jul 02 21:24:19 2011 +0200
+++ b/src/Pure/System/session.scala Sat Jul 02 23:04:19 2011 +0200
@@ -16,6 +16,14 @@
object Session
{
+ /* abstract file store */
+
+ abstract class File_Store
+ {
+ def read(path: Path): String
+ }
+
+
/* events */
case object Global_Settings
@@ -32,7 +40,7 @@
}
-class Session(val system: Isabelle_System)
+class Session(val system: Isabelle_System, val file_store: Session.File_Store)
{
/* real time parameters */ // FIXME properties or settings (!?)