src/Pure/Thy/sessions.scala

 
 
 
   /** persistent store **/
 
-  /** auxiliary **/
+  /* SQL data model */
 
   sealed case class Build_Info(
     sources: SHA1.Shasum,
     input_heaps: SHA1.Shasum,
     output_heap: SHA1.Shasum,

 
     val augment_table: PostgreSQL.Source =
       "ALTER TABLE IF EXISTS " + table.ident +
       " ADD COLUMN IF NOT EXISTS " + uuid.decl(SQL.sql_type_postgresql)
   }
+
+
+  /* store */
 
   class Store private[Sessions](val options: Options, val cache: Term.Cache) {
     store =>
 
     override def toString: String = "Store(output_dir = " + output_dir.absolute + ")"