jar: include sources;

--- a/src/Pure/IsaMakefile	Thu Sep 18 20:12:02 2008 +0200
+++ b/src/Pure/IsaMakefile	Thu Sep 18 22:30:17 2008 +0200
@@ -135,6 +135,7 @@
 	@rm -rf classes && mkdir classes
 	scalac -deprecation -d classes -target jvm-1.5 $(SCALA_FILES)
 	scaladoc -d classes $(SCALA_FILES)
+	@cp $(SCALA_FILES) classes/isabelle
 	@mkdir -p `dirname $@`
 	@cd classes; jar cf $@ isabelle
 	@rm -rf classes