changeset 65518 | bc8fa59211b7 |
parent 65477 | 64e61b0f6972 |
child 65557 | 29c69a599743 |
--- a/src/Pure/build-jars Wed Apr 19 20:10:34 2017 +0200 +++ b/src/Pure/build-jars Wed Apr 19 21:32:46 2017 +0200 @@ -143,6 +143,7 @@ Tools/task_statistics.scala Tools/update_cartouches.scala Tools/update_header.scala + Tools/update_imports.scala Tools/update_then.scala Tools/update_theorems.scala library.scala