--- a/src/Pure/build-jars Wed Sep 18 13:31:44 2013 +0200
+++ b/src/Pure/build-jars Wed Sep 18 15:09:15 2013 +0200
@@ -65,6 +65,7 @@
System/system_channel.scala
System/system_dialog.scala
System/utf8.scala
+ System/wrap_panel.scala
Thy/html.scala
Thy/present.scala
Thy/thy_header.scala