src/Pure/build-jars
changeset 65477 64e61b0f6972
parent 65313 347ed6219dab
child 65518 bc8fa59211b7
     1.1 --- a/src/Pure/build-jars	Thu Apr 13 12:19:28 2017 +0200
     1.2 +++ b/src/Pure/build-jars	Thu Apr 13 12:27:57 2017 +0200
     1.3 @@ -82,7 +82,10 @@
     1.4    Isar/outer_syntax.scala
     1.5    Isar/parse.scala
     1.6    Isar/token.scala
     1.7 +  ML/ml_console.scala
     1.8    ML/ml_lex.scala
     1.9 +  ML/ml_process.scala
    1.10 +  ML/ml_statistics.scala
    1.11    ML/ml_syntax.scala
    1.12    PIDE/command.scala
    1.13    PIDE/command_span.scala
    1.14 @@ -133,9 +136,6 @@
    1.15    Tools/debugger.scala
    1.16    Tools/doc.scala
    1.17    Tools/main.scala
    1.18 -  Tools/ml_console.scala
    1.19 -  Tools/ml_process.scala
    1.20 -  Tools/ml_statistics.scala
    1.21    Tools/print_operation.scala
    1.22    Tools/profiling_report.scala
    1.23    Tools/simplifier_trace.scala