# HG changeset patch
# User wenzelm
# Date 1710323895 -3600
# Node ID 098c770e03f5e74ed246bb6d894c069d47eae455
# Parent  3d02d5d4a43c4c58939a3463fda236274d5d2e73
tuned comments;

diff -r 3d02d5d4a43c -r 098c770e03f5 src/Pure/Build/build_process.scala
--- a/src/Pure/Build/build_process.scala	Tue Mar 12 16:20:02 2024 +0000
+++ b/src/Pure/Build/build_process.scala	Wed Mar 13 10:58:15 2024 +0100
@@ -287,6 +287,9 @@
   object private_data extends SQL.Data("isabelle_build") {
     val database: Path = Path.explode("$ISABELLE_HOME_USER/build.db")
 
+
+    /* tables */
+
     override lazy val tables: SQL.Tables =
       SQL.Tables(
         Updates.table,
@@ -301,6 +304,9 @@
     private lazy val build_id_tables =
       tables.filter(t => Generic.build_id_table(t) && !Generic.build_uuid_table(t))
 
+
+    /* generic columns */
+
     object Generic {
       val build_id = SQL.Column.long("build_id")
       val build_uuid = SQL.Column.string("build_uuid")