changeset 77753 | 2b5b093a1c08 |
parent 77749 | 4649c7bfd3f0 |
child 78301 | 9776f5278ae8 |
--- a/src/Pure/System/isabelle_tool.scala Wed Mar 29 21:28:48 2023 +0200 +++ b/src/Pure/System/isabelle_tool.scala Wed Mar 29 22:21:12 2023 +0200 @@ -179,6 +179,7 @@ Component_PolyML.isabelle_tool2, Component_PostgreSQL.isabelle_tool, Component_Prismjs.isabelle_tool, + Component_Rsync.isabelle_tool, Component_SPASS.isabelle_tool, Component_SQLite.isabelle_tool, Component_Scala.isabelle_tool,