changeset 37045 | 1ce1b19f78f4 |
parent 36966 | 21be4832c362 |
child 37051 | d93b849cbecd |
1.1 --- a/src/Pure/build-jars Fri May 21 12:59:44 2010 +0200 1.2 +++ b/src/Pure/build-jars Fri May 21 14:53:19 2010 +0200 1.3 @@ -26,6 +26,7 @@ 1.4 General/exn.scala 1.5 General/linear_set.scala 1.6 General/markup.scala 1.7 + General/output.scala 1.8 General/position.scala 1.9 General/pretty.scala 1.10 General/scan.scala