# HG changeset patch
# User wenzelm
# Date 1739099649 -3600
# Node ID b7929e1dc4fb6c82a63de1408ab02f9355888458
# Parent  f798a913d72959b78ad7bec8ce1ee41fe4be435e
more thorough "isabelle check_sources";

diff -r f798a913d729 -r b7929e1dc4fb src/Pure/Admin/check_sources.scala
--- a/src/Pure/Admin/check_sources.scala	Sun Feb 09 11:14:59 2025 +0100
+++ b/src/Pure/Admin/check_sources.scala	Sun Feb 09 12:14:09 2025 +0100
@@ -50,7 +50,7 @@
     val hg = Mercurial.repository(root)
     for {
       file <- hg.known_files()
-      if File.is_thy(file) || File.is_ML(file) || file.endsWith("/ROOT")
+      if File.is_scala(file) || File.is_thy(file) || File.is_ML(file) || file.endsWith("/ROOT")
     } check_file(root + Path.explode(file))
   }
 
@@ -64,7 +64,7 @@
         val getopts = Getopts("""
 Usage: isabelle check_sources [ROOT_DIRS...]
 
-  Check .thy, .ML, ROOT against known files of Mercurial ROOT_DIRS.
+  Check .scala, .thy, .ML, ROOT against known files of Mercurial ROOT_DIRS.
 """)
 
         val specs = getopts(args)
diff -r f798a913d729 -r b7929e1dc4fb src/Pure/General/file.scala
--- a/src/Pure/General/file.scala	Sun Feb 09 11:14:59 2025 +0100
+++ b/src/Pure/General/file.scala	Sun Feb 09 12:14:09 2025 +0100
@@ -101,6 +101,7 @@
   def is_node(s: String): Boolean = s.endsWith(".node")
   def is_pdf(s: String): Boolean = s.endsWith(".pdf")
   def is_png(s: String): Boolean = s.endsWith(".png")
+  def is_scala(s: String): Boolean = s.endsWith(".scala")
   def is_tar_bz2(s: String): Boolean = s.endsWith(".tar.bz2")
   def is_tar_gz(s: String): Boolean = s.endsWith(".tar.gz")
   def is_tgz(s: String): Boolean = s.endsWith(".tgz")