equal
deleted
inserted
replaced
53 "src/query_dockable.scala" |
53 "src/query_dockable.scala" |
54 "src/raw_output_dockable.scala" |
54 "src/raw_output_dockable.scala" |
55 "src/rendering.scala" |
55 "src/rendering.scala" |
56 "src/rich_text_area.scala" |
56 "src/rich_text_area.scala" |
57 "src/scala_console.scala" |
57 "src/scala_console.scala" |
|
58 "src/session_build.scala" |
58 "src/simplifier_trace_dockable.scala" |
59 "src/simplifier_trace_dockable.scala" |
59 "src/simplifier_trace_window.scala" |
60 "src/simplifier_trace_window.scala" |
60 "src/sledgehammer_dockable.scala" |
61 "src/sledgehammer_dockable.scala" |
61 "src/spell_checker.scala" |
62 "src/spell_checker.scala" |
62 "src/state_dockable.scala" |
63 "src/state_dockable.scala" |