src/Pure/Thy/bibtex.scala

--- a/src/Pure/Thy/bibtex.scala	Thu Jan 19 11:23:44 2023 +0100
+++ b/src/Pure/Thy/bibtex.scala	Thu Jan 19 11:25:48 2023 +0100
@@ -723,6 +723,8 @@
 
   /** cite commands and antiquotations **/
 
+  /* update old forms */
+
   def cite_antiquotation(name: String, body: String): String =
     """\<^""" + name + """>\<open>""" + body + """\<close>"""
 
@@ -783,6 +785,9 @@
       }
   }
 
+
+  /* parse within raw source */
+
   sealed case class Cite(kind: String, body: String, pos: Isar_Token.Pos) {
     def position: Position.T = pos.position()