--- a/src/Pure/IsaMakefile Tue Dec 22 15:00:03 2009 +0100
+++ b/src/Pure/IsaMakefile Tue Dec 22 15:00:43 2009 +0100
@@ -125,11 +125,12 @@
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 System/cygwin.scala \
- System/gui_setup.scala System/isabelle_process.scala \
- System/isabelle_syntax.scala System/isabelle_system.scala \
- System/platform.scala Thy/completion.scala Thy/html.scala \
- Thy/thy_header.scala library.scala
+ Isar/outer_keyword.scala Isar/outer_lex.scala Isar/outer_parse.scala \
+ System/cygwin.scala System/gui_setup.scala \
+ System/isabelle_process.scala System/isabelle_syntax.scala \
+ System/isabelle_system.scala System/platform.scala \
+ Thy/completion.scala Thy/html.scala Thy/thy_header.scala \
+ library.scala
JAR_DIR = $(ISABELLE_HOME)/lib/classes
PURE_JAR = $(JAR_DIR)/Pure.jar