1.1 --- a/src/Pure/IsaMakefile	Sun Dec 20 15:44:07 2009 +0100
     1.2 +++ b/src/Pure/IsaMakefile	Sun Dec 20 15:44:29 2009 +0100
     1.3 @@ -125,11 +125,11 @@
     1.4    General/linear_set.scala General/markup.scala General/position.scala	\
     1.5    General/scan.scala General/swing_thread.scala General/symbol.scala	\
     1.6    General/xml.scala General/yxml.scala Isar/isar_document.scala		\
     1.7 -  Isar/outer_keyword.scala System/cygwin.scala System/gui_setup.scala	\
     1.8 -  System/isabelle_process.scala System/isabelle_syntax.scala		\
     1.9 -  System/isabelle_system.scala System/platform.scala			\
    1.10 -  Thy/completion.scala Thy/html.scala Thy/thy_header.scala		\
    1.11 -  library.scala
    1.12 +  Isar/outer_keyword.scala Isar/outer_lex.scala System/cygwin.scala	\
    1.13 +  System/gui_setup.scala System/isabelle_process.scala			\
    1.14 +  System/isabelle_syntax.scala System/isabelle_system.scala		\
    1.15 +  System/platform.scala Thy/completion.scala Thy/html.scala		\
    1.16 +  Thy/thy_header.scala library.scala
    1.17  
    1.18  JAR_DIR = $(ISABELLE_HOME)/lib/classes
    1.19  PURE_JAR = $(JAR_DIR)/Pure.jar