changeset 78178 | a177f71dc79f |
parent 77753 | 2b5b093a1c08 |
child 78301 | 9776f5278ae8 |
--- a/etc/build.props Mon Jun 19 22:28:09 2023 +0200 +++ b/etc/build.props Tue Jun 20 14:25:06 2023 +0200 @@ -182,6 +182,7 @@ src/Pure/Thy/html.scala \ src/Pure/Thy/latex.scala \ src/Pure/Thy/sessions.scala \ + src/Pure/Thy/store.scala \ src/Pure/Thy/thy_element.scala \ src/Pure/Thy/thy_header.scala \ src/Pure/Thy/thy_syntax.scala \