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
Thu, 30 Mar 2023 12:10:08 +0200
changeset 77758 2e3c7c557151
parent 77757 49d38fa1478d
child 77759 f513f754c026
tuned comments;
src/Pure/Admin/component_lipics.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Admin/component_lipics.scala	Thu Mar 30 12:03:59 2023 +0200
+++ b/src/Pure/Admin/component_lipics.scala	Thu Mar 30 12:10:08 2023 +0200
@@ -14,7 +14,7 @@
 
 
 object Component_LIPIcs {
-  /* files for document preparation */
+  /* resources */
 
   val document_files: List[Path] =
     for (name <- List("cc-by.pdf", "lipics-logo-bw.pdf", "lipics-v2021.cls"))
isabelle