src/Pure/build-jars
changeset 65557 29c69a599743
parent 65518 bc8fa59211b7
child 65650 48ef286b847b
     1.1 --- a/src/Pure/build-jars	Sun Apr 23 14:27:22 2017 +0200
     1.2 +++ b/src/Pure/build-jars	Sun Apr 23 15:59:51 2017 +0200
     1.3 @@ -135,6 +135,7 @@
     1.4    Tools/check_keywords.scala
     1.5    Tools/debugger.scala
     1.6    Tools/doc.scala
     1.7 +  Tools/imports.scala
     1.8    Tools/main.scala
     1.9    Tools/print_operation.scala
    1.10    Tools/profiling_report.scala
    1.11 @@ -143,7 +144,6 @@
    1.12    Tools/task_statistics.scala
    1.13    Tools/update_cartouches.scala
    1.14    Tools/update_header.scala
    1.15 -  Tools/update_imports.scala
    1.16    Tools/update_then.scala
    1.17    Tools/update_theorems.scala
    1.18    library.scala