--- a/src/Pure/IsaMakefile Sat Jun 27 22:28:07 2009 +0200
+++ b/src/Pure/IsaMakefile Sun Jun 28 14:27:42 2009 +0200
@@ -122,8 +122,9 @@
General/symbol.scala General/xml.scala General/yxml.scala \
Isar/isar.scala Isar/isar_document.scala Isar/outer_keyword.scala \
System/cygwin.scala System/isabelle_process.scala \
- System/isabelle_system.scala Thy/completion.scala \
- Thy/thy_header.scala Tools/isabelle_syntax.scala
+ System/isabelle_system.scala System/platform.scala \
+ Thy/completion.scala Thy/thy_header.scala \
+ Tools/isabelle_syntax.scala
SCALA_TARGET = $(ISABELLE_HOME)/lib/classes/Pure.jar