changeset 80274 | cff00b3dddf5 |
parent 80273 | f55a11cd3b71 |
child 80411 | a9fce67fb8b2 |
--- a/etc/build.props Thu Jun 06 22:34:24 2024 +0200 +++ b/etc/build.props Thu Jun 06 22:26:40 2024 +0200 @@ -243,6 +243,7 @@ src/Pure/term.scala \ src/Pure/term_xml.scala \ src/Pure/thm_name.scala \ + src/Pure/update.scala \ src/Tools/Graphview/graph_file.scala \ src/Tools/Graphview/graph_panel.scala \ src/Tools/Graphview/graphview.scala \