Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
back to scala-2.12.7 (due to reports about problems with new Mac hardware / OS installations by Jasmin Blanchette and Dmitriy Traytel);
authorwenzelm
Tue, 09 Apr 2019 10:56:25 +0200
changeset 70083 96776eb41854
parent 70082 4f936de6d9b8
child 70084 f9d8f78ef687
back to scala-2.12.7 (due to reports about problems with new Mac hardware / OS installations by Jasmin Blanchette and Dmitriy Traytel);
Admin/components/main file | annotate | diff | comparison | revisions
src/Pure/GUI/color_value.scala file | annotate | diff | comparison | revisions 
--- a/Admin/components/main	Tue Apr 09 10:51:35 2019 +0200
+++ b/Admin/components/main	Tue Apr 09 10:56:25 2019 +0200
@@ -14,7 +14,7 @@
 opam-2.0.3-1
 polyml-5.8
 postgresql-42.2.5
-scala-2.12.8
+scala-2.12.7
 smbc-0.4.1
 spass-3.8ds-1
 sqlite-jdbc-3.27.2.1
--- a/src/Pure/GUI/color_value.scala	Tue Apr 09 10:51:35 2019 +0200
+++ b/src/Pure/GUI/color_value.scala	Tue Apr 09 10:56:25 2019 +0200
@@ -45,4 +45,3 @@
       }
     }
 }
-
isabelle