changeset 76390 | 5309f1283d93 |
parent 76351 | 2cee31cd92f0 |
child 76395 | fac28b6c37e8 |
--- a/etc/build.props Fri Oct 28 15:46:20 2022 +0200 +++ b/etc/build.props Fri Oct 28 15:59:06 2022 +0200 @@ -251,7 +251,6 @@ src/Tools/jEdit/src/isabelle.scala \ src/Tools/jEdit/src/isabelle_encoding.scala \ src/Tools/jEdit/src/isabelle_export.scala \ - src/Tools/jEdit/src/isabelle_options.scala \ src/Tools/jEdit/src/isabelle_session.scala \ src/Tools/jEdit/src/isabelle_vfs.scala \ src/Tools/jEdit/src/jedit_bibtex.scala \