# HG changeset patch
# User wenzelm
# Date 1667235573 -3600
# Node ID fc35958d2e738a9d450946a89702681faf3df8f6
# Parent  95a71ee0fffdcb455803d5ec1cee209b5b5cecb8
tuned comments;

diff -r 95a71ee0fffd -r fc35958d2e73 src/Pure/Admin/build_easychair.scala
--- a/src/Pure/Admin/build_easychair.scala	Mon Oct 31 17:13:57 2022 +0100
+++ b/src/Pure/Admin/build_easychair.scala	Mon Oct 31 17:59:33 2022 +0100
@@ -3,7 +3,7 @@
 
 Build Isabelle component for Easychair style.
 
-See also: https://easychair.org/publications/for_authors
+See also https://easychair.org/publications/for_authors
 */
 
 package isabelle