equal
deleted
inserted
replaced
18 "src/isabelle_logic.scala" |
18 "src/isabelle_logic.scala" |
19 "src/isabelle_options.scala" |
19 "src/isabelle_options.scala" |
20 "src/isabelle_rendering.scala" |
20 "src/isabelle_rendering.scala" |
21 "src/isabelle_sidekick.scala" |
21 "src/isabelle_sidekick.scala" |
22 "src/jedit_lib.scala" |
22 "src/jedit_lib.scala" |
|
23 "src/jedit_main.scala" |
23 "src/jedit_thy_load.scala" |
24 "src/jedit_thy_load.scala" |
24 "src/jedit_options.scala" |
25 "src/jedit_options.scala" |
25 "src/output_dockable.scala" |
26 "src/output_dockable.scala" |
26 "src/output1_dockable.scala" |
27 "src/output1_dockable.scala" |
27 "src/plugin.scala" |
28 "src/plugin.scala" |