changeset 66347 | 23eaab37e4a8 |
parent 66211 | 100c9c997e2b |
child 66790 | c0e68e6a1beb |
--- a/src/Pure/build-jars Sat Aug 05 15:48:02 2017 +0200 +++ b/src/Pure/build-jars Sat Aug 05 20:08:41 2017 +0200 @@ -140,6 +140,7 @@ Tools/main.scala Tools/print_operation.scala Tools/profiling_report.scala + Tools/server.scala Tools/simplifier_trace.scala Tools/spell_checker.scala Tools/task_statistics.scala