remove trailing commas
authorLars Hupel <lars.hupel@mytum.de>
Fri Jun 29 10:24:36 2018 +0200 (12 months ago)
changeset 68530a110dcc9a4c7
parent 68529 29235951f104
child 68531 7c6f812afdc4
remove trailing commas
src/Pure/Admin/isabelle_cronjob.scala
src/Pure/Tools/server.scala
     1.1 --- a/src/Pure/Admin/isabelle_cronjob.scala	Thu Jun 28 17:14:52 2018 +0200
     1.2 +++ b/src/Pure/Admin/isabelle_cronjob.scala	Fri Jun 29 10:24:36 2018 +0200
     1.3 @@ -299,7 +299,7 @@
     1.4              " -e ISABELLE_GHC=/usr/local/ghc-8.0.2/bin/ghc" +
     1.5              " -e ISABELLE_SMLNJ=/usr/local/smlnj-110.81/bin/sml",
     1.6            args = "-a",
     1.7 -          detect = Build_Log.Settings.ML_PLATFORM + " = " + SQL.string("x86_64-windows"))),
     1.8 +          detect = Build_Log.Settings.ML_PLATFORM + " = " + SQL.string("x86_64-windows")))
     1.9      ) :::
    1.10      {
    1.11        for { (n, hosts) <- List(1 -> List("lxbroy6"), 2 -> List("lxbroy8", "lxbroy5")) }
     2.1 --- a/src/Pure/Tools/server.scala	Thu Jun 28 17:14:52 2018 +0200
     2.2 +++ b/src/Pure/Tools/server.scala	Fri Jun 29 10:24:36 2018 +0200
     2.3 @@ -102,7 +102,7 @@
     2.4                    val session = context.server.the_session(args.session_id)
     2.5                    Server_Commands.Use_Theories.command(
     2.6                      args, session, id = task.id, progress = task.progress)._1
     2.7 -                }),
     2.8 +                })
     2.9            },
    2.10          "purge_theories" ->
    2.11            { case (context, Server_Commands.Purge_Theories(args)) =>