| changeset 34268 | b149b7083236 |
| parent 34241 | 8611f1813fc9 |
| child 34276 | 12436485c244 |
--- a/src/Pure/IsaMakefile Tue Jan 05 16:29:03 2010 +0100 +++ b/src/Pure/IsaMakefile Tue Jan 05 16:29:31 2010 +0100 @@ -132,7 +132,7 @@ System/isabelle_system.scala System/platform.scala \ System/session_manager.scala System/standard_system.scala \ Thy/completion.scala Thy/html.scala Thy/thy_header.scala \ - library.scala + Thy/thy_syntax.scala library.scala JAR_DIR = $(ISABELLE_HOME)/lib/classes PURE_JAR = $(JAR_DIR)/Pure.jar