--- a/src/Pure/build-jars Thu Jan 03 15:13:11 2013 +0100
+++ b/src/Pure/build-jars Thu Jan 03 20:42:18 2013 +0100
@@ -57,6 +57,7 @@
System/utf8.scala
Thy/completion.scala
Thy/html.scala
+ Thy/present.scala
Thy/thy_header.scala
Thy/thy_info.scala
Thy/thy_load.scala