diff -r 8ead9e8b15fb -r 1067a639d42a src/Pure/build-jars
--- a/src/Pure/build-jars	Sun Sep 02 19:26:05 2012 +0200
+++ b/src/Pure/build-jars	Sun Sep 02 21:01:11 2012 +0200
@@ -44,6 +44,7 @@
   System/command_line.scala
   System/event_bus.scala
   System/gui_setup.scala
+  System/html5_panel.scala
   System/invoke_scala.scala
   System/isabelle_charset.scala
   System/isabelle_process.scala