Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned comments;
authorwenzelm
Mon, 31 Oct 2022 17:59:33 +0100
changeset 76398 fc35958d2e73
parent 76397 95a71ee0fffd
child 76399 d0a1f3eb0982
tuned comments;
src/Pure/Admin/build_easychair.scala file | annotate | diff | comparison | revisions 
--- 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
isabelle