diff -r 6eb0327c0b9b -r dbb93a5e6e6a src/Pure/IsaMakefile
--- a/src/Pure/IsaMakefile	Sat Aug 23 17:22:51 2008 +0200
+++ b/src/Pure/IsaMakefile	Sat Aug 23 17:22:51 2008 +0200
@@ -114,15 +114,18 @@
 
 ## Scala material
 
+SCALA_FILES = General/symbol.scala General/xml.scala		\
+  General/yxml.scala Tools/isabelle_process.scala		\
+  Tools/isabelle_syntax.scala Tools/isabelle_system.scala
+
+
 SCALA_TARGET = $(ISABELLE_HOME)/lib/classes/Pure.jar
-SCALA_FILES = General/symbol.scala Tools/isabelle_system.scala	\
-  General/xml.scala General/yxml.scala
 
 jar: $(SCALA_TARGET)
 
 $(SCALA_TARGET): $(SCALA_FILES)
 	@rm -rf classes && mkdir classes
-	scalac -d classes -target jvm-1.5 $(SCALA_FILES)
+	scalac -deprecation -d classes -target jvm-1.5 $(SCALA_FILES)
 	scaladoc -d classes $(SCALA_FILES)
 	@mkdir -p `dirname $@`
 	@cd classes; jar cf $@ isabelle