--- a/src/Pure/build-jars	Sun Jul 10 16:34:17 2011 +0200
+++ b/src/Pure/build-jars	Sun Jul 10 17:58:11 2011 +0200
@@ -57,6 +57,7 @@
   Thy/thy_syntax.scala
   library.scala
   package.scala
+  term.scala
 )
changeset 43730	a0ed7bc688b5
parent 43715	518e44a0ee15
child 43744	2c7e1565b4a3