tuned;
authorwenzelm
Thu Nov 22 15:47:58 2018 +0100 (19 months ago)
changeset 69326600df66ac561
parent 69325 4b6ddc5989fc
child 69327 264b44dce6be
tuned;
src/Pure/build-jars
     1.1 --- a/src/Pure/build-jars	Thu Nov 22 10:06:31 2018 +0000
     1.2 +++ b/src/Pure/build-jars	Thu Nov 22 15:47:58 2018 +0100
     1.3 @@ -139,12 +139,12 @@
     1.4    Thy/thy_element.scala
     1.5    Thy/thy_header.scala
     1.6    Thy/thy_syntax.scala
     1.7 -  Tools/dump.scala
     1.8    Tools/build.scala
     1.9    Tools/build_docker.scala
    1.10    Tools/check_keywords.scala
    1.11    Tools/debugger.scala
    1.12    Tools/doc.scala
    1.13 +  Tools/dump.scala
    1.14    Tools/imports.scala
    1.15    Tools/main.scala
    1.16    Tools/mkroot.scala