changeset 69762 | 58fb0d779583 |
parent 69756 | 1907222d974e |
child 69854 | cc0b3e177b49 |
--- a/src/Tools/jEdit/lib/Tools/jedit Wed Jan 30 16:32:06 2019 +0100 +++ b/src/Tools/jEdit/lib/Tools/jedit Wed Jan 30 16:44:29 2019 +0100 @@ -36,9 +36,10 @@ "src/isabelle.scala" "src/isabelle_encoding.scala" "src/isabelle_export.scala" + "src/isabelle_options.scala" + "src/isabelle_session.scala" + "src/isabelle_sidekick.scala" "src/isabelle_vfs.scala" - "src/isabelle_options.scala" - "src/isabelle_sidekick.scala" "src/jedit_bibtex.scala" "src/jedit_editor.scala" "src/jedit_lib.scala"