--- a/src/Pure/IsaMakefile Tue Dec 22 17:59:59 2009 +0100
+++ b/src/Pure/IsaMakefile Tue Dec 22 18:36:01 2009 +0100
@@ -129,8 +129,8 @@
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
+ System/session_manager.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