--- a/src/Pure/IsaMakefile Thu Dec 31 23:47:09 2009 +0100
+++ b/src/Pure/IsaMakefile Fri Jan 01 21:26:02 2010 +0100
@@ -121,12 +121,13 @@
## Scala material
-SCALA_FILES = General/event_bus.scala General/exn.scala \
- General/linear_set.scala General/markup.scala General/position.scala \
- General/scan.scala General/swing_thread.scala General/symbol.scala \
- General/xml.scala General/yxml.scala Isar/isar_document.scala \
- Isar/outer_keyword.scala Isar/outer_lex.scala Isar/outer_parse.scala \
- Isar/outer_syntax.scala System/cygwin.scala System/gui_setup.scala \
+SCALA_FILES = Concurrent/future.scala General/event_bus.scala \
+ General/exn.scala General/linear_set.scala General/markup.scala \
+ General/position.scala General/scan.scala General/swing_thread.scala \
+ General/symbol.scala General/xml.scala General/yxml.scala \
+ Isar/isar_document.scala Isar/outer_keyword.scala \
+ Isar/outer_lex.scala Isar/outer_parse.scala Isar/outer_syntax.scala \
+ System/cygwin.scala System/gui_setup.scala \
System/isabelle_process.scala System/isabelle_syntax.scala \
System/isabelle_system.scala System/platform.scala \
System/session_manager.scala System/standard_system.scala \