changeset 80270 | 1d4300506338 |
parent 80246 | 245dd5f82462 |
child 80273 | f55a11cd3b71 |
--- a/etc/build.props Thu Jun 06 21:13:51 2024 +0200 +++ b/etc/build.props Thu Jun 06 21:48:36 2024 +0200 @@ -238,6 +238,7 @@ src/Pure/Tools/update_then.scala \ src/Pure/Tools/update_theorems.scala \ src/Pure/library.scala \ + src/Pure/name.scala \ src/Pure/pure_thy.scala \ src/Pure/term.scala \ src/Pure/term_xml.scala \