changeset 52971 | 31926d2c04ee |
parent 52934 | bfb6873df88e |
child 52980 | 28f59ca8ce78 |
--- a/src/Tools/jEdit/lib/Tools/jedit Mon Aug 12 09:08:42 2013 +0200 +++ b/src/Tools/jEdit/lib/Tools/jedit Mon Aug 12 11:39:29 2013 +0200 @@ -24,6 +24,7 @@ "src/isabelle_logic.scala" "src/isabelle_options.scala" "src/isabelle_sidekick.scala" + "src/jedit_editor.scala" "src/jedit_lib.scala" "src/jedit_main.scala" "src/jedit_options.scala"