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.
tuned comments;
authorwenzelm
Fri, 08 Jul 2022 22:30:35 +0200
changeset 75661 2d153e052aea
parent 75660 45d3497c0baa
child 75662 ed15f2cd4f7d
tuned comments;
src/Pure/Tools/scala_build.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Tools/scala_build.scala	Fri Jul 08 22:29:26 2022 +0200
+++ b/src/Pure/Tools/scala_build.scala	Fri Jul 08 22:30:35 2022 +0200
@@ -1,7 +1,7 @@
 /*  Title:      Pure/Tools/scala_build.scala
     Author:     Makarius
 
-Manage and build Isabelle/Scala/Java components.
+Manage and build Isabelle/Scala/Java modules.
 */
 
 package isabelle
isabelle