changeset 73718 | ecb31c3bf980 |
parent 73691 | 2f9877db82a1 |
child 73815 | 43882e34c038 |
--- a/src/Pure/build-jars Mon May 17 15:01:37 2021 +0200 +++ b/src/Pure/build-jars Mon May 17 16:15:25 2021 +0200 @@ -154,6 +154,7 @@ src/Pure/System/system_channel.scala src/Pure/System/tty_loop.scala src/Pure/Thy/bibtex.scala + src/Pure/Thy/document_build.scala src/Pure/Thy/export.scala src/Pure/Thy/export_theory.scala src/Pure/Thy/file_format.scala