# HG changeset patch
# User wenzelm
# Date 1674123948 -3600
# Node ID 2ac1b7f4f3e4f41ec685befb5937239fb06872f4
# Parent  3e48f8c6afc91cffe9740326f9a7feb1f96267ad
tuned comments;

diff -r 3e48f8c6afc9 -r 2ac1b7f4f3e4 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()