equal
deleted
inserted
replaced
15 "src/isabelle_encoding.scala" |
15 "src/isabelle_encoding.scala" |
16 "src/isabelle_hyperlinks.scala" |
16 "src/isabelle_hyperlinks.scala" |
17 "src/isabelle_markup.scala" |
17 "src/isabelle_markup.scala" |
18 "src/isabelle_options.scala" |
18 "src/isabelle_options.scala" |
19 "src/isabelle_sidekick.scala" |
19 "src/isabelle_sidekick.scala" |
|
20 "src/jedit_thy_load.scala" |
20 "src/output_dockable.scala" |
21 "src/output_dockable.scala" |
21 "src/plugin.scala" |
22 "src/plugin.scala" |
22 "src/protocol_dockable.scala" |
23 "src/protocol_dockable.scala" |
23 "src/raw_output_dockable.scala" |
24 "src/raw_output_dockable.scala" |
24 "src/scala_console.scala" |
25 "src/scala_console.scala" |