--- a/src/Pure/build-jars Thu Aug 04 10:55:51 2016 +0200
+++ b/src/Pure/build-jars Thu Aug 04 11:17:11 2016 +0200
@@ -49,6 +49,7 @@
General/url.scala
General/word.scala
General/xz_file.scala
+ Isar/document_structure.scala
Isar/keyword.scala
Isar/line_structure.scala
Isar/outer_syntax.scala