equal
deleted
inserted
replaced
14 "src/document_model.scala" |
14 "src/document_model.scala" |
15 "src/document_view.scala" |
15 "src/document_view.scala" |
16 "src/documentation_dockable.scala" |
16 "src/documentation_dockable.scala" |
17 "src/find_dockable.scala" |
17 "src/find_dockable.scala" |
18 "src/fold_handling.scala" |
18 "src/fold_handling.scala" |
|
19 "src/font_info.scala" |
19 "src/graphview_dockable.scala" |
20 "src/graphview_dockable.scala" |
20 "src/info_dockable.scala" |
21 "src/info_dockable.scala" |
21 "src/isabelle.scala" |
22 "src/isabelle.scala" |
22 "src/isabelle_encoding.scala" |
23 "src/isabelle_encoding.scala" |
23 "src/isabelle_logic.scala" |
24 "src/isabelle_logic.scala" |