# HG changeset patch
# User wenzelm
# Date 1412540320 -7200
# Node ID f65911a725ba79a9ab6def9fb36f29613fab7550
# Parent  d4d97b79f1fbbdef760bd0b99e0f449840e7e085
more explicit syntax, to avoid misunderstanding of foo-bar as 3 separate arguments;

diff -r d4d97b79f1fb -r f65911a725ba src/Pure/Tools/bibtex.ML
--- a/src/Pure/Tools/bibtex.ML	Sun Oct 05 18:44:04 2014 +0200
+++ b/src/Pure/Tools/bibtex.ML	Sun Oct 05 22:18:40 2014 +0200
@@ -20,7 +20,7 @@
     Thy_Output.antiquotation @{binding cite}
       (Scan.lift
         (Scan.option (Parse.verbatim || Parse.cartouche) --
-         Scan.repeat1 (Parse.position Args.name)))
+         Parse.and_list1 (Parse.position Args.name)))
       (fn {context = ctxt, ...} => fn (opt, citations) =>
         let
           val _ =