--- a/src/Pure/build-jars Fri Mar 09 15:43:54 2018 +0100
+++ b/src/Pure/build-jars Fri Mar 09 17:03:10 2018 +0100
@@ -127,6 +127,7 @@
System/process_result.scala
System/progress.scala
System/system_channel.scala
+ System/tty_loop.scala
Thy/bibtex.scala
Thy/html.scala
Thy/latex.scala