Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
etc/build.props
changeset 76396 389d77e6be9f
parent 76395 fac28b6c37e8
child 76399 d0a1f3eb0982 
--- a/etc/build.props	Mon Oct 31 15:50:13 2022 +0100
+++ b/etc/build.props	Mon Oct 31 17:10:13 2022 +0100
@@ -16,6 +16,7 @@
   src/Pure/Admin/build_cygwin.scala \
   src/Pure/Admin/build_doc.scala \
   src/Pure/Admin/build_e.scala \
+  src/Pure/Admin/build_easychair.scala \
   src/Pure/Admin/build_fonts.scala \
   src/Pure/Admin/build_history.scala \
   src/Pure/Admin/build_jcef.scala \
isabelle