src/Tools/jEdit/lib/Tools/jedit
changeset 50208 1382ad6d4774
parent 50202 ec0f2f8dbeb9
child 50299 f70b3712040f
     1.1 --- a/src/Tools/jEdit/lib/Tools/jedit	Sun Nov 25 21:23:20 2012 +0100
     1.2 +++ b/src/Tools/jEdit/lib/Tools/jedit	Sun Nov 25 21:35:29 2012 +0100
     1.3 @@ -15,7 +15,7 @@
     1.4    "src/html_panel.scala"
     1.5    "src/hyperlink.scala"
     1.6    "src/info_dockable.scala"
     1.7 -  "src/isabelle_actions.scala"
     1.8 +  "src/isabelle.scala"
     1.9    "src/isabelle_encoding.scala"
    1.10    "src/isabelle_logic.scala"
    1.11    "src/isabelle_options.scala"