equal
deleted
inserted
replaced
27 General/sha1.scala |
27 General/sha1.scala |
28 General/symbol.scala |
28 General/symbol.scala |
29 General/time.scala |
29 General/time.scala |
30 General/timing.scala |
30 General/timing.scala |
31 General/xz_file.scala |
31 General/xz_file.scala |
|
32 GUI/color_value.scala |
|
33 GUI/gui.scala |
|
34 GUI/gui_setup.scala |
|
35 GUI/html5_panel.scala |
|
36 GUI/jfx_thread.scala |
|
37 GUI/popup.scala |
|
38 GUI/swing_thread.scala |
|
39 GUI/system_dialog.scala |
|
40 GUI/wrap_panel.scala |
32 Isar/completion.scala |
41 Isar/completion.scala |
33 Isar/keyword.scala |
42 Isar/keyword.scala |
34 Isar/outer_syntax.scala |
43 Isar/outer_syntax.scala |
35 Isar/parse.scala |
44 Isar/parse.scala |
36 Isar/token.scala |
45 Isar/token.scala |
43 PIDE/protocol.scala |
52 PIDE/protocol.scala |
44 PIDE/query_operation.scala |
53 PIDE/query_operation.scala |
45 PIDE/text.scala |
54 PIDE/text.scala |
46 PIDE/xml.scala |
55 PIDE/xml.scala |
47 PIDE/yxml.scala |
56 PIDE/yxml.scala |
48 System/color_value.scala |
|
49 System/command_line.scala |
57 System/command_line.scala |
50 System/event_bus.scala |
58 System/event_bus.scala |
51 System/gui.scala |
|
52 System/gui_setup.scala |
|
53 System/html5_panel.scala |
|
54 System/interrupt.scala |
59 System/interrupt.scala |
55 System/invoke_scala.scala |
60 System/invoke_scala.scala |
56 System/isabelle_charset.scala |
61 System/isabelle_charset.scala |
57 System/isabelle_font.scala |
62 System/isabelle_font.scala |
58 System/isabelle_process.scala |
63 System/isabelle_process.scala |
59 System/isabelle_system.scala |
64 System/isabelle_system.scala |
60 System/jfx_thread.scala |
|
61 System/options.scala |
65 System/options.scala |
62 System/platform.scala |
66 System/platform.scala |
63 System/session.scala |
67 System/session.scala |
64 System/swing_thread.scala |
|
65 System/system_channel.scala |
68 System/system_channel.scala |
66 System/system_dialog.scala |
|
67 System/utf8.scala |
69 System/utf8.scala |
68 System/wrap_panel.scala |
|
69 Thy/html.scala |
70 Thy/html.scala |
70 Thy/present.scala |
71 Thy/present.scala |
71 Thy/thy_header.scala |
72 Thy/thy_header.scala |
72 Thy/thy_info.scala |
73 Thy/thy_info.scala |
73 Thy/thy_load.scala |
74 Thy/thy_load.scala |