changeset 52540 | c1ddd91ba515 |
parent 52539 | 7658f8d7b2dc |
child 52846 | 82ac963c68cb |
52539:7658f8d7b2dc | 52540:c1ddd91ba515 |
---|---|
51 "src/actions.xml" |
51 "src/actions.xml" |
52 "src/dockables.xml" |
52 "src/dockables.xml" |
53 "src/Isabelle.props" |
53 "src/Isabelle.props" |
54 "src/jEdit.props" |
54 "src/jEdit.props" |
55 "src/services.xml" |
55 "src/services.xml" |
56 "src/modes/isabelle-news.xml" |
|
57 "src/modes/isabelle-options.xml" |
|
58 "src/modes/isabelle-root.xml" |
|
59 "src/modes/isabelle.xml" |
|
56 ) |
60 ) |
57 |
61 |
58 |
62 |
59 ## diagnostics |
63 ## diagnostics |
60 |
64 |