src/Tools/jEdit/lib/Tools/jedit
changeset 50299 f70b3712040f
parent 50208 1382ad6d4774
child 50306 b655d2d0406d
     1.1 --- a/src/Tools/jEdit/lib/Tools/jedit	Fri Nov 30 21:28:35 2012 +0100
     1.2 +++ b/src/Tools/jEdit/lib/Tools/jedit	Fri Nov 30 21:30:24 2012 +0100
     1.3 @@ -35,10 +35,10 @@
     1.4    "src/rich_text_area.scala"
     1.5    "src/scala_console.scala"
     1.6    "src/sendback.scala"
     1.7 -  "src/session_dockable.scala"
     1.8    "src/symbols_dockable.scala"
     1.9    "src/syslog_dockable.scala"
    1.10    "src/text_overview.scala"
    1.11 +  "src/theories_dockable.scala"
    1.12    "src/token_markup.scala"
    1.13  )
    1.14