360bbc8006c05f2e640197a14417a9d8d6d3c907 <meta_info>
50aa5834ba8a0f401cc75323fccb941119bf47fc lib/services/java.nio.charset.spi.CharsetProvider
1001921c58c1be344239d7a85be3e3edbe065be7 lib/logo/isabelle_transparent-32.gif
b0a7a7313b754d1f948bb364b623e6bbee0900ce lib/logo/isabelle_transparent.gif
3fb5aee8c6feddeaf3325bfff7c29e5e6ff4aee1 src/HOL/SPARK/Tools/spark.scala
cd5affbc37b548944a532a5536d5db6782f7fc29 src/HOL/Tools/ATP/system_on_tptp.scala
2f1f6dd617962718e4cf8fd5eac899e26bd0f2f9 src/HOL/Tools/Mirabelle/mirabelle.scala
8105446928c7cf8d6da162290acde48a5dc5f115 src/HOL/Tools/Nitpick/kodkod.scala
6e94e11f0caeade584d13ac18034a9eb2676fc7f src/Pure/Admin/afp.scala
a80722d3936edda689f7894aa22e929aa1f34f44 src/Pure/Admin/build_app.scala
7b7cf08a9a1902a0f252a02de1f937467dafce7b src/Pure/Admin/build_doc.scala
a6a79300bef6e14d844afe776a14df80d8fd9ad4 src/Pure/Admin/build_history.scala
7f2479913c772197fb38cb8a154cdb29c1789004 src/Pure/Admin/build_log.scala
9ebe6f02524bf2167713b5fe6e5e7206eaae65b2 src/Pure/Admin/build_release.scala
ebc5d37b9c9f152d169cd3664944996b1fa921ea src/Pure/Admin/build_status.scala
440b5bda57a9592c04869d3eee8b4bcf1adc0c90 src/Pure/Admin/check_sources.scala
26538785b1275e7d7275bf190d25925b97fbace7 src/Pure/Admin/component_bash_process.scala
c814a3f5ba51279075de5394ad9f5f51e925a1d9 src/Pure/Admin/component_csdp.scala
cd54abda28f06e3db397c1d6387e92c3113e48c4 src/Pure/Admin/component_cvc5.scala
5cc75f02abfa2568a16eed4db711763aedf99b83 src/Pure/Admin/component_cygwin.scala
57d856137cadd6a158f9faa1cec765909ae0adca src/Pure/Admin/component_e.scala
395b77cf6fbc1b6a241a5699610936d2b0b40077 src/Pure/Admin/component_easychair.scala
a9a1af040dac8ab0b94f4ce2c96e00ded0ebb56c src/Pure/Admin/component_elm.scala
14c4134a6f2500faf5f9812d9af1a0aef5f5564e src/Pure/Admin/component_eptcs.scala
531feb873f22213a1bbad2f920518337f8f377a0 src/Pure/Admin/component_find_facts_web.scala
428e1921a281a0361efb1618a24f85cf4386a467 src/Pure/Admin/component_flatlaf.scala
5b0d200a2cc2cc68b15273cfffcf0b2ebea825be src/Pure/Admin/component_foiltex.scala
cdf8abbfa5438f22c40ca72c927a082a9991da52 src/Pure/Admin/component_fonts.scala
6fc9d961037898d3029576160a3a87bbbc50e479 src/Pure/Admin/component_hol_light.scala
642bacff757d852ef4e82268f4a456e9b81fe831 src/Pure/Admin/component_hugo.scala
9b5bcd4d062c326c7dbd5eea596dcdb9e11a193c src/Pure/Admin/component_javamail.scala
919797a2cfd67d376fe009c1c190e35dd27ee727 src/Pure/Admin/component_jcef.scala
447ed95f1bac436880bb620b5d388e41e01cf969 src/Pure/Admin/component_jdk.scala
53873e4dd6a569ce8c9eede52649e408d2557c4f src/Pure/Admin/component_jedit.scala
b8c445f73ff85b837643f621604628d22cb33ef9 src/Pure/Admin/component_jfreechart.scala
1a7b2426149f3706e93be50c5039161b8b2ed434 src/Pure/Admin/component_jsoup.scala
737d875d3d97739274737cb72d015247b095c587 src/Pure/Admin/component_jsvg.scala
734562559907e311d998bad3b218fc7190fc43cf src/Pure/Admin/component_lipics.scala
7d1f5ab927768f97d7bd7ff3f2c0f5025bdccc7f src/Pure/Admin/component_llncs.scala
71f65dd6a1f67a438af6136b59fadfc2bfd78165 src/Pure/Admin/component_minisat.scala
1143f5cc73ab9d7e57041937f53f68ea321ca27c src/Pure/Admin/component_mlton.scala
3a5c73f28e34f4c23a269a9ed579e131884252cd src/Pure/Admin/component_pdfjs.scala
daf115ffec2b8f45d94bfb282c7c9bd20629ebbf src/Pure/Admin/component_polyml.scala
fc72ae39270999c9d4fef14a16ae1700b350b9fb src/Pure/Admin/component_postgresql.scala
80f53ad1839c7b13919339d4412cfa3a28794cc3 src/Pure/Admin/component_prismjs.scala
e67e1548aad5086e0d9220e56154870e4ad92c90 src/Pure/Admin/component_rsync.scala
62c305160d18e8928243f0bed79ce92d2e7e56e7 src/Pure/Admin/component_scala.scala
02fef47e0a18ef522d61f03f3c3901932fdc0b20 src/Pure/Admin/component_solr.scala
d1d9b43a0dc2ca0299f5589480a1c207107e334e src/Pure/Admin/component_spass.scala
79951344817759ec66be8882c7d09c32057c70ea src/Pure/Admin/component_sqlite.scala
6e0536dcacbddcbe713db39c715e7ef68ba006a4 src/Pure/Admin/component_stack.scala
ef5272434c589e083ce267a7fe71f7ab49a90efc src/Pure/Admin/component_vampire.scala
fb216e0fdc9321f73ec7f72c758e4753e2486fa7 src/Pure/Admin/component_verit.scala
e1ff857be2398681d0347124d115a911f60662b5 src/Pure/Admin/component_windows_app.scala
1d8c7d4372e504ecfed977aad8eb338f66c753f5 src/Pure/Admin/component_xz.scala
68f969e9a3471b2eb176e4168fc590419675f2bb src/Pure/Admin/component_zipperposition.scala
b9682bb3f63bd45602bb9cfc0ab8920844f9fa11 src/Pure/Admin/component_zstd.scala
19c9f07c6d03108cfae42c8f4ab53352ef7e5029 src/Pure/Admin/isabelle_cronjob.scala
4fe855b3c127dcb2e67babf2f3a2c94240950a46 src/Pure/Build/browser_info.scala
49325c076b9429bb600a86b9d853c002be18b6e1 src/Pure/Build/build.scala
d47f4ff56da3e20bb5406bcb70c3a775e91b77af src/Pure/Build/build_benchmark.scala
72d20d4cc34a156756e7c3f41e383747f4aaef3f src/Pure/Build/build_ci.scala
dbe12254c4dd515486bcdcbbb4c9386dd437fd55 src/Pure/Build/build_cluster.scala
c330c99ab8ace3606106e605733e02a92fcb7f66 src/Pure/Build/build_job.scala
1efc3fbe188373014c45eec4e06e91ad94b7579a src/Pure/Build/build_manager.scala
16433cd00e0c8f8166ba5669e3abf7f7293962f0 src/Pure/Build/build_process.scala
97c06b5b52864aafad28dbdbcbe65ee5fc9d9a4b src/Pure/Build/build_profiling.scala
d5aea8b6ac174a675ba0ea0c33358884b81bfee4 src/Pure/Build/build_schedule.scala
e97ccdddd19b8ff1586051f39de63cac50a9a62e src/Pure/Build/database_progress.scala
e4e5bf26da29d8a697039b4f4cee9e5bca2de12c src/Pure/Build/export.scala
5ec0c83450f7b9a649ec5d58c2dab8321db327d8 src/Pure/Build/export_theory.scala
77f49fa3275d4ab35d2d516a8ea4f5286cb92fdd src/Pure/Build/file_format.scala
2ef38ee072350a5c7d61742a991e817e13562395 src/Pure/Build/resources.scala
0b5568eceeafe273e467210c1cbf842d24649fd0 src/Pure/Build/sessions.scala
372a22f71a1f24e890bedbcc32bfb3c9c179e8c6 src/Pure/Build/store.scala
60ce6c9cbba67e71a25c7cc68382570dca1bc983 src/Pure/Concurrent/consumer_thread.scala
a181923fcdb782d3854581fc2f0bbbc3d8fa9355 src/Pure/Concurrent/counter.scala
7ad96b638b4f77ff163ec1dd10e1538517298fc0 src/Pure/Concurrent/delay.scala
4c19aca59e75ffd53af8f4e6544ecd49badbb9ee src/Pure/Concurrent/event_timer.scala
f8bdf5e920239ddba52c0ffea128d8f8bea9f6dc src/Pure/Concurrent/future.scala
daf573b8176d428afb4248df55f0a7556b06aed2 src/Pure/Concurrent/isabelle_thread.scala
515d9e7dd545d97aec487a94b79a36a6c2967c7d src/Pure/Concurrent/mailbox.scala
ad8fc9724022ec06b36cba45a5eaadb5c7b5c125 src/Pure/Concurrent/multithreading.scala
0b8fcfd52f0f00c580c0e1c247748a436ad23552 src/Pure/Concurrent/par_list.scala
35c60454328e2f3043b5b0b3560a37ca2e9293c2 src/Pure/Concurrent/synchronized.scala
355eba6f1435ac3ceb7d3d1fc9b53599ca453c00 src/Pure/GUI/color_value.scala
9e09780bef60859a6283d8e3f1fdde696c61d9d6 src/Pure/GUI/desktop_app.scala
c48118222b5c0c64021383be748b1e9e9acb327f src/Pure/GUI/font_metric.scala
6c867ade875f895fb77b1c5bcb6c7a540ed8662b src/Pure/GUI/gui.scala
f10df0e060d060d48fb4eb283d841d018dbfe5e7 src/Pure/GUI/gui_thread.scala
b21ab7ad8a4ed6e1c3769765075006f45a183468 src/Pure/GUI/popup.scala
8b5edab8f8ae560f3d5c3d5b6df0dc46b8db7804 src/Pure/GUI/rich_text.scala
434d2fdd7bf17284c6183ea1b893cfa728d06132 src/Pure/GUI/tree_view.scala
42f89f7ae209419f479944a89ba2cc58bd6ca362 src/Pure/GUI/wrap_panel.scala
79e77f92bc5f1665cd2888d1036b7db62d6f2454 src/Pure/General/antiquote.scala
7fc6541fab4d936765f0a47ee81c8a86291e4d35 src/Pure/General/base64.scala
63308b2afb18da269b542c186be8b25a1e80bbcd src/Pure/General/bibtex.scala
f0aab4bd77ef5e0147db57d0ed18a49abd15dd86 src/Pure/General/bytes.scala
bb3e65732fd0fe55dbe43182525a7ee99207823f src/Pure/General/cache.scala
1a309d433cb71e6e7935c10667f98e5e6833a98a src/Pure/General/codepoint.scala
62d25fba3878b9e2f1d431e4d0d9dac8d6fa7d4f src/Pure/General/comment.scala
46d9ebc2ef5a60fd61c807f62faba71cb029befb src/Pure/General/completion.scala
2d0f662d41315402e567e37a68b75642cf209e84 src/Pure/General/compress.scala
eb861fda4f3375c2ea42149077acf25af5e8cb11 src/Pure/General/csv.scala
d3e96da837a2ba28847dc95f12a5aff48155d7a5 src/Pure/General/date.scala
20c4164198eb394b18462af1f695bf599d53c844 src/Pure/General/exn.scala
008d5f6885d7fefb38c759faba25a379e20cd519 src/Pure/General/file.scala
34c78af20c047889496d22ca927c12855b80809d src/Pure/General/file_store.scala
65f6dea00cf66734b4e1db527ca8cb972f7d9849 src/Pure/General/file_watcher.scala
cac5000baa5740a97f75a22bb332d2f91dca3db3 src/Pure/General/graph.scala
bddd80592534e850af8289a873e883c96aec9d19 src/Pure/General/graph_display.scala
79365c90e0047d51d73ad2c70cfc6a17dd4784a9 src/Pure/General/graphics_file.scala
2eaf1968c5ba5c9f248f8341cf7276e4ad6a2a7c src/Pure/General/html.scala
74fa9b651106d189f7ffa99a9185024e7f1adc81 src/Pure/General/http.scala
2d83120d3697e666549e47d1f76ec43d5b69fc9a src/Pure/General/js.scala
b68fd9c22ff59ebc75979c21829650563fb5816c src/Pure/General/json.scala
1515ee7e7da429e0cb105d4e2b01a90d7f09bce9 src/Pure/General/json_api.scala
34f44d17a391529ea6c5ff281cea2be8f647f7d1 src/Pure/General/latex.scala
78a33d86834c696376e93249e99e5e49dd527bb2 src/Pure/General/linear_set.scala
97fb8f24964ab709603a11d6bf028005922de4c5 src/Pure/General/logger.scala
f532e345865956f30fe8cd1cb3c57e40fe05852f src/Pure/General/long_name.scala
6bc1166a644bbf91e1d62d49fd8c578a54d079b2 src/Pure/General/mail.scala
3f9a024886ee576c87759b737cb7566ddbbcaf95 src/Pure/General/mailman.scala
446c8df14c3d521ac86f09bfc95587c8016756fd src/Pure/General/mercurial.scala
c9eb1d64221f563380d5c15c56bd25db98c04c6e src/Pure/General/message_digest.scala
449f46384ae556711808806c5be72b082422ce3f src/Pure/General/multi_map.scala
0e0bc46548cd603e3305a9b542cf28d946d5ff15 src/Pure/General/name_space.scala
89c4b2d86ffdadcebf1abac61f33143ac107de2a src/Pure/General/output.scala
c5b6aa051ee8a2ac5ea03384b2164941980c35c2 src/Pure/General/path.scala
5b212e1f21669facacd21b8583beb676089daa75 src/Pure/General/position.scala
92082e507cf6b066858204259ea80065251de783 src/Pure/General/pretty.scala
4d3d7f5cfa6aed8118fb870c0be869bde1750d52 src/Pure/General/properties.scala
c3f1326abcc30a53eb14bd85e243b5b90f5f29ec src/Pure/General/rdf.scala
a6529b8c1b55f94add0ceb9223fa8b0888d04733 src/Pure/General/rsync.scala
64a1a4b5b3a2bb0ae5d465ce73cb6fba7c6783da src/Pure/General/scan.scala
2627e1a61cc6dd48cb706f9586276e44d53fde30 src/Pure/General/shasum.scala
93458d67cf9c30dd3aeff34896e807bf09df5b21 src/Pure/General/space.scala
0e741fe7ea5d1a97be029434fae451080936e41a src/Pure/General/sql.scala
9cc76a279b2d59dbe6eda5c40bff9409af1e782f src/Pure/General/ssh.scala
c072d0714e412e489a23c3ad570352bc7da186f9 src/Pure/General/symbol.scala
fdcc1459f20fd64140a02f2c705a5dda6933d970 src/Pure/General/time.scala
6b3f1d67a477a7b3041c13cdda510851481fc8ad src/Pure/General/timing.scala
c24b04a9020c98e16dd8d7ee0af0b63aa35ec546 src/Pure/General/toml.scala
75cf2d4ebc61ade943a107cbafe5c6a801f0a25c src/Pure/General/untyped.scala
66a77a0ed870a2c62514c3781ef01bdc3246723f src/Pure/General/url.scala
ed30ffffc20f0dd431616fd88d8d8fac2b935a6d src/Pure/General/utf8.scala
1a6eacaeb0aae84065913c4040e8940630583107 src/Pure/General/uuid.scala
059f59a5b12bc202e9160c6af492cfb28de206c4 src/Pure/General/value.scala
852f69f9c62a5b556f7fe0ca7de76dd64865823a src/Pure/General/word.scala
742ce7e94ab6d61cb2e74d5c99a28f700131edb5 src/Pure/General/zstd.scala
f1e07ca257d06282b6602da794fcdce71e713e7d src/Pure/Isar/document_structure.scala
08077b1eba55b130d5da97d80fbbeeca6b0c136e src/Pure/Isar/keyword.scala
3a60e797fd6ecf4b090fd73102243e7d7ccc2f3e src/Pure/Isar/line_structure.scala
669bc33e6adbf980d6db72d4628b0524483fe879 src/Pure/Isar/outer_syntax.scala
ec5cb8863d294222c7c444456e98e36255f8803d src/Pure/Isar/parse.scala
35d60d6124d29fa25e91ef57474d51729e8af950 src/Pure/Isar/token.scala
53b466d60478e8b89d1b3d174e023cb3d7ef3422 src/Pure/ML/ml_console.scala
c659734573f6de9199b9deeb2f7f61de528f99b6 src/Pure/ML/ml_heap.scala
f2a9c023cb8c325543de0dae5965951684b974c9 src/Pure/ML/ml_lex.scala
b53b893661fde190310d7ae13ba59af3cc67d3ad src/Pure/ML/ml_process.scala
f2fc1e9fd392811eff8a808f78eded56534f5a8b src/Pure/ML/ml_profiling.scala
3912221ee9242ce007a86189025765c5f59f299f src/Pure/ML/ml_settings.scala
59ca790e726baa87282c8cd7b711d9da1e9fde40 src/Pure/ML/ml_statistics.scala
adcc84b0647a99abf299cfd8ae2f0d709d0055d6 src/Pure/ML/ml_syntax.scala
ef9a2473a507e3c697e56dffc35c5ba02f8a4189 src/Pure/PIDE/byte_message.scala
a93fdac31dd66e80411d6410dd886cc1041bd677 src/Pure/PIDE/command.scala
9a3398bf1461d23354a2303ec22e8dec47c929a3 src/Pure/PIDE/command_span.scala
4e8b1f86a3812487451aae453b27c211e15cc76d src/Pure/PIDE/document.scala
0e2bf5d76b28faa72203633dfc2c76fcb81bc105 src/Pure/PIDE/document_editor.scala
7731ec7a252bd82b70121f3e0380913f3474da53 src/Pure/PIDE/document_id.scala
da1bf9961b4baddb9011b61fbdf8f4412fa0ce99 src/Pure/PIDE/document_info.scala
0892c3d714f5d52b4b49e872ee5c97b3473720f8 src/Pure/PIDE/document_status.scala
6e7d9c3b9c09a4cedf5133bc4fd268df517028a5 src/Pure/PIDE/editor.scala
d6639399c2bb0daf655cb98f1b41c5c8f9963503 src/Pure/PIDE/headless.scala
c2057604060cc1b35e8eefb24ae1f770e3420d11 src/Pure/PIDE/line.scala
03233154f1f2c9a25e3bec6bfce7d565f7adb2c0 src/Pure/PIDE/markup.scala
622994f24a77a8f2d4ff2c154b78f8c2703375fa src/Pure/PIDE/markup_tree.scala
d8c52b0f994296029b289493c63f1b9cf67df72f src/Pure/PIDE/protocol.scala
24fa226289e531887e68d5f60a13fd336e3b11cd src/Pure/PIDE/protocol_handlers.scala
8ed9900f461af13b7b89db4c70eccd94017796ad src/Pure/PIDE/protocol_message.scala
d040d45b86cd39cdeb446ad81ff9529aa9d39dc3 src/Pure/PIDE/prover.scala
fa3d39300043d7959cc641cd45f0ec436da64c5a src/Pure/PIDE/query_operation.scala
d039db49a1d88e689a97d8a12cf40f3b476207ed src/Pure/PIDE/rendering.scala
e006ef6e914d1e16838d90512fa4c869bdf42fdf src/Pure/PIDE/session.scala
fb9f6ecebe3c5b503f9e93120ece162bbe6d6480 src/Pure/PIDE/text.scala
5254c573603693782e2df663b9fae3671eae9281 src/Pure/PIDE/xml.scala
d8f45587967f00a14fa89b9d5bfa989161b69ff6 src/Pure/PIDE/yxml.scala
cf5f7d505878086a5bf199bcd1fd7009a6d138cf src/Pure/ROOT.scala
5866d95ee48ae4c7db4fb7a3c6cd9fb3f677a666 src/Pure/System/bash.scala
9375996b784d6d5cbf27222627b5ea3406ca94b6 src/Pure/System/classpath.scala
aa5711b738e85bef324de4581c1814b6f1aada83 src/Pure/System/command_line.scala
7e290a2ad4ea00b4f30afbeba4c49e46b644030b src/Pure/System/components.scala
c50255813dd5023f7741fa29b29f5f056201a2cc src/Pure/System/getopts.scala
449235ce2fd6d7f9924d256349f809d517301398 src/Pure/System/host.scala
9738e9be1f8f0ee65a11b8feab9dea5535aa726c src/Pure/System/isabelle_charset.scala
b41d6240e5930369da3edeba9b60abb5423fce2a src/Pure/System/isabelle_fonts.scala
dc05d103302d6382dd8f06e84cdb17c10bcffffd src/Pure/System/isabelle_platform.scala
f939462a7df7eb3a007965228fb648165269fda6 src/Pure/System/isabelle_process.scala
a3b9283bd7a18c1ab922bdcd4e2e57966ca53d4e src/Pure/System/isabelle_system.scala
9af6676f79942cb045558b81b6d0092f3b0c6f8d src/Pure/System/isabelle_tool.scala
2ae397332320986f8aa074362a3d76ae89d77f43 src/Pure/System/java_statistics.scala
f655030440fdc126d08659a11b7b45a114f4bb95 src/Pure/System/linux.scala
06f36f358418fb0d493d62388c6a51c5b476c9cb src/Pure/System/mingw.scala
f6e84a915688a2333c2855b4462ed62b19838344 src/Pure/System/nodejs.scala
236fe1991a48eafc2afe98383593af12ee3ca6bb src/Pure/System/options.scala
e9fc4b39e524d124c47af6990df5ecd8759d7b03 src/Pure/System/other_isabelle.scala
f420d98dca7f879748b1ef9f1aecc22fc77fba22 src/Pure/System/platform.scala
84a02672366e5cce65a4335b21100370cbeec41a src/Pure/System/process_result.scala
b259807754fae21d128a6ebaad6c4c76fa90a26f src/Pure/System/program_progress.scala
c7cb7f63d44e57f7567159a1d858ce0c2e02e4c1 src/Pure/System/progress.scala
2d0779803d3aa4f6289a3d6d21d00cae5ee6a3a6 src/Pure/System/registry.scala
13b479dc65043ef50cd831f1eaf5c0d7b1dbdea5 src/Pure/System/scala.scala
0627f66698b867cb5c3f1a55b415f4308b54d201 src/Pure/System/setup_tool.scala
8a634bbcb0bd9f242c2b0ae62664e8df8d070917 src/Pure/System/system_channel.scala
4e7d1cf32be465330bcf79559c6f6987e0f5b5b0 src/Pure/System/tty_loop.scala
b8727201379349a5ccc0f52c823c7360b7f5e367 src/Pure/System/web_app.scala
76d3ece8cb8ee136a4b2d2f749a1a85b73f89a12 src/Pure/Thy/document_build.scala
81a2214d229647b0128fbca7bda8b66120403bf7 src/Pure/Thy/thy_element.scala
22ad8044f897cc7471872b82430f72735e714ca6 src/Pure/Thy/thy_header.scala
b322dbd9000b0adb4827d11ffcb951c6abab6905 src/Pure/Thy/thy_syntax.scala
9e1e5cebd33a35062acd700772fb9c368d91f390 src/Pure/Tools/caddy_setup.scala
a0168d4d2be58ca48367765e09aa6dea7fa568a1 src/Pure/Tools/check_keywords.scala
4818ddfea9179e12974c3c0622bd49a6e647820d src/Pure/Tools/debugger.scala
f5dc95d4b0fe16d7b1a963d76eeb4b81ffd40652 src/Pure/Tools/doc.scala
4e8e908158e37739e3eb4c6782801e72f1d69986 src/Pure/Tools/docker_build.scala
92a227317a66e1c83e79580d358ac68425a08e62 src/Pure/Tools/dotnet_setup.scala
4babe909a24911d262e356ba87d444f18c58614e src/Pure/Tools/dump.scala
f3265d9174f8062ef5731c6d58a9ca7529442895 src/Pure/Tools/flarum.scala
39da5b36e0decf4651f12f55a15b0da66f2817b3 src/Pure/Tools/fontforge.scala
67f446783c10d74d4530888a123b58e3939cabff src/Pure/Tools/go_setup.scala
99bfc107be0babf54e457317c571dcef80e16b40 src/Pure/Tools/java_monitor.scala
0c883c5d13e76dfe0bd8d3213a3418a1c2edf10e src/Pure/Tools/logo.scala
854b6ca74c29e6a8d83dd6d5bf226fc5310ea269 src/Pure/Tools/mkroot.scala
9badd6c815bb52321aa89729745f858b844a3f7c src/Pure/Tools/phabricator.scala
4a672d43c9e55b22e713c5229d9b819b05f2006c src/Pure/Tools/print_operation.scala
f318974e7c44ae6f6ee07af38376a3c89b46c0e2 src/Pure/Tools/prismjs.scala
1f556710938694ff2cd4b26bcdd429967854f2ab src/Pure/Tools/process_theories.scala
f23fc0ae2d7ab7a5c8f45293fa7d094a74e54b23 src/Pure/Tools/profiling.scala
abeb96a9d042ee6d78f042287b0cf3d287af88bf src/Pure/Tools/profiling_report.scala
2ca68c0c470796b9169b78140281b919f8488a15 src/Pure/Tools/scala_build.scala
9ca23e76aeb7f434455554f5c4a0faa202e0a2ea src/Pure/Tools/scala_project.scala
869c6933a78598dafb34c4a1a79efbc4573d45ca src/Pure/Tools/server.scala
3b980e995e6859df1f5977f6c2ca247241d6b7ed src/Pure/Tools/server_commands.scala
f202630d562182f5f5f528f73c18b69caf126398 src/Pure/Tools/simplifier_trace.scala
af84de99ce32a0d25ed65b5732498954c45ba761 src/Pure/Tools/spell_checker.scala
431d0e2f0215f22251162ebae240e8cb2d0c81fd src/Pure/Tools/sync.scala
124e795b8d99674311202ed41d5f642aa769ebeb src/Pure/Tools/task_statistics.scala
4762555748558888cec18378bef60097ad1f3e7f src/Pure/Tools/update_cartouches.scala
c14d72a783f51e2523e95d6f1612e43856a97608 src/Pure/Tools/update_comments.scala
3ce215abb114236243b5e4cbb2a5dc196022130a src/Pure/Tools/update_then.scala
20e1e6a1da5513874928f41ad32ce4bae078a282 src/Pure/Tools/update_theorems.scala
4e3e0d6d45a3f046e51d290db160456f6f387682 src/Pure/Tools/update_tool.scala
c84d8ec9553474b8df983d1dced409347f4de1a5 src/Pure/library.scala
bdf17623ce7ff5362d2730fb9362f366b1131225 src/Pure/name.scala
fadf6c6ff2331fa4898fa8c6cb6aeb197ab9e6de src/Pure/pure_thy.scala
38ba6b43308cb6b7be505dd613f8e2c1a7f191a7 src/Pure/term.scala
ff1ddd8e5ededc16663cb09210563ac4d7cc5d11 src/Pure/term_xml.scala
bc938dd7be5501d68fadc0ce4bf4c17b4383f90a src/Pure/thm_name.scala
e1d3e0b1693912ae28028f9cb9b497ac9c452a80 src/Pure/update.scala
3ba13da0ba05fff1bde69b9f412b3dc9fa224ac2 src/Tools/Find_Facts/src/elm.scala
f1ce99d18016aec63a1afae212f0fa174af210c9 src/Tools/Find_Facts/src/find_facts.scala
7dbe2f1e8658342c867513dd3d3ae71da341dc8f src/Tools/Find_Facts/src/find_facts_tools.scala
fbb7669f201a7f3dd1a0fad2414a79c2f7458f30 src/Tools/Find_Facts/src/solr.scala
c1f31e4076a1d78dfa0ea8e8eea7ff0902fe659d src/Tools/Find_Facts/src/thy_blocks.scala
18efa5001380f12781fab3e95898687033df4bb9 src/Tools/Graphview/graph_file.scala
942c141b6b3dbec34e7712166c423bbd87604da3 src/Tools/Graphview/graph_panel.scala
a9cfccf9299e77d2b09c60ccfbbff31752e76571 src/Tools/Graphview/graphview.scala
e8129931ec0eed473dd72f395dc03c62cdc293a5 src/Tools/Graphview/layout.scala
39b419bc5babbad84dd328fe1079ba7984bfeba1 src/Tools/Graphview/main_panel.scala
5e26e0194547aed5377157c525c04c0905e5c065 src/Tools/Graphview/metrics.scala
ba944831c988e2dbf16521cd994fc8d84457d988 src/Tools/Graphview/model.scala
279d9cb83485d7c1333ab746759775a8d849867a src/Tools/Graphview/mutator.scala
4704409ed2eb80406e970a338b0647cc933c3f34 src/Tools/Graphview/mutator_dialog.scala
1baf961480f4c64267a935272f1758b298b182eb src/Tools/Graphview/mutator_event.scala
21c032a012d2dda2a3591e567db1b9a05364d85a src/Tools/Graphview/popups.scala
e7ad982cfe422a27aafcc1a53eb45aec9312ddfe src/Tools/Graphview/shapes.scala
93a8b2c47b23710bd251fccf11a8a9e2a0297ef9 src/Tools/Graphview/tree_panel.scala
3484f9bc4f617386660a8ce9127089df3a8a476a src/Tools/VSCode/src/channel.scala
640b9f45e39555b95d0901b6b78e9f15de4f9284 src/Tools/VSCode/src/component_vscode_extension.scala
fa2c6c706694b8d4212128e39a1bf50ac4494659 src/Tools/VSCode/src/component_vscodium.scala
3cd376bcb98a87744e143132603e6d664d525d62 src/Tools/VSCode/src/dynamic_output.scala
7c44eb15ee8004d3b9a4a73cc32747772899ca31 src/Tools/VSCode/src/language_server.scala
3b9f096f54922fde3d117714b6b1c8e8aea04c92 src/Tools/VSCode/src/lsp.scala
315312811ce4c020a1d9dc427298251c0095d703 src/Tools/VSCode/src/pretty_text_panel.scala
cbf3eb52c21208a74fe6a75602b4457a99c6c92a src/Tools/VSCode/src/preview_panel.scala
91328b500f59c1cb20ef38bb6ed343a97791130c src/Tools/VSCode/src/state_panel.scala
5c30a90f016a1f8f38ef4c334b34a4d1d8b32cf1 src/Tools/VSCode/src/vscode_main.scala
35130a4a2bda20a56c6bba63bba515186e43fc7d src/Tools/VSCode/src/vscode_model.scala
95008fd7056785d89094f3db77706d918f1c35f5 src/Tools/VSCode/src/vscode_rendering.scala
aa646a2c593ede5619a8888782732b625ea15632 src/Tools/VSCode/src/vscode_resources.scala
25b03f6b791dbaca9f62e5b02993680d0b85f254 src/Tools/VSCode/src/vscode_session.scala
e45750e7f4990a6899821bcd908f1671b482ab71 src/Tools/VSCode/src/vscode_sledgehammer.scala
0074cceacce2440483dacd6c6b1b82f05a7ba3f1 src/Tools/VSCode/src/vscode_spell_checker.scala
46f164af3bb1dc4dd4f0433d46ff1004a59b880b src/Tools/jEdit/src/active.scala
e8bf31c0efc2e89c2d2ecc6ac6af342a40be331f src/Tools/jEdit/src/base_plugin.scala
0367c8309b0dc061b2b0b57f2985a2885797c095 src/Tools/jEdit/src/completion_popup.scala
3e91f74092f0bcf38f3057ce99fe6e5ec3baac5e src/Tools/jEdit/src/context_menu.scala
51f83e52784ce28a944eae337977cd25ddc59d22 src/Tools/jEdit/src/debugger_dockable.scala
71513c5976b029286e36607dff70f7d4f5124183 src/Tools/jEdit/src/dockable.scala
c3d1fa7a29238fb56433e311c5c2cce2343b4313 src/Tools/jEdit/src/document_dockable.scala
ce28009b54dd4105525bffec8c2dca1cbcbf8c9d src/Tools/jEdit/src/document_model.scala
1a9502db29bfbe72a3bfc62c501f9f5fade056d0 src/Tools/jEdit/src/document_view.scala
b6a59a3ccd7721530572c0664b320b42f7b129c1 src/Tools/jEdit/src/documentation_dockable.scala
473638d85a9111f6f2a4cbf88feac4226deaef39 src/Tools/jEdit/src/fold_handling.scala
3c8e42a263d16327b5569b7c2b38d77c486a026c src/Tools/jEdit/src/font_info.scala
c3f6cb827d9ead1ea6a419eff521a1b115736495 src/Tools/jEdit/src/graphview_dockable.scala
7ff2261bc8f2cadff72c70856fa8aa649491ed05 src/Tools/jEdit/src/info_dockable.scala
2d95d379daab0e8950dccbeda3672266f5e55d0b src/Tools/jEdit/src/isabelle.scala
7eabc52298b5ffb91b5d0136a49713e9379fb027 src/Tools/jEdit/src/isabelle_encoding.scala
dc122196f4be2cd58411ae3ac00d07fc57392caa src/Tools/jEdit/src/isabelle_export.scala
318f6531515ade4f9c32ddb0773fc0738bd3552e src/Tools/jEdit/src/isabelle_navigator.scala
3cf0dadb548e79cf66a059e14f0915ab0b404938 src/Tools/jEdit/src/isabelle_session.scala
4b9dd31d1a83c9ea915c2d57ea8637c8d82c0cde src/Tools/jEdit/src/isabelle_vfs.scala
b1a986bb328bac357eab402e818450bf1a9bce9c src/Tools/jEdit/src/jedit_accessible.scala
cf973a0b0d351b27cef6a0240a351adab2b3902f src/Tools/jEdit/src/jedit_bibtex.scala
3d7506acda0c0c40bcbe9ae981038c8ac03a327e src/Tools/jEdit/src/jedit_editor.scala
b6a6317bdbf320e6207e224cee8768e66b426cf4 src/Tools/jEdit/src/jedit_jar.scala
1f9e74bf6302e53a56c016b0d66255f99f159c1b src/Tools/jEdit/src/jedit_lib.scala
c739e03b3783eac25952f0e5eea1122ece4fb72a src/Tools/jEdit/src/jedit_main.scala
3b127f07591295a0a7f3fd53574884ce9a54d268 src/Tools/jEdit/src/jedit_menu.scala
eea304abb372271b01029a43aeb0da53bfa79e09 src/Tools/jEdit/src/jedit_mouse_handler.scala
e874c00ca4999ee1929294f0b510aece9e0ed2e3 src/Tools/jEdit/src/jedit_options.scala
db0410e68698f1dfee4ffed1898579be7c3055e5 src/Tools/jEdit/src/jedit_plugins.scala
9cbe2275558cce233f469f47b8af1e3a28b7cbcb src/Tools/jEdit/src/jedit_property.scala
a301c4214373224d4952c33858561d5cb7d4f007 src/Tools/jEdit/src/jedit_rendering.scala
93a1f89ca67eac17cfc54f35be6d783ebdd98490 src/Tools/jEdit/src/jedit_resources.scala
64ebb6421251088cb81624c1f59c37304a341e34 src/Tools/jEdit/src/jedit_session.scala
a05a90ba9250051a71874c77f70071863d05dc71 src/Tools/jEdit/src/jedit_spell_checker.scala
b52fd2a41b8a5a024b5bbfdf85e45f6707e5a586 src/Tools/jEdit/src/keymap_merge.scala
217ec22b565a51d259a09cf31b470449a1835173 src/Tools/jEdit/src/main_plugin.scala
f9ac54493fd72385aa8164dbb87c754ab9bda592 src/Tools/jEdit/src/monitor_dockable.scala
9e3283b329c9b03d8dc434c013880fe01de8437a src/Tools/jEdit/src/output_area.scala
4c132cb98621c3a47c1293f41bfcbee5811eedc1 src/Tools/jEdit/src/output_dockable.scala
b2990bf91efb9c498f3e8601fa73e807b2241bd4 src/Tools/jEdit/src/pide_docking_framework.scala
576a37c55a073754335b425d48606f54ff1ee4d4 src/Tools/jEdit/src/pretty_text_area.scala
d8b9b8b0c56ff01b595cbef4fdc25ffaf5edab0d src/Tools/jEdit/src/pretty_tooltip.scala
d0932c7c75b73e60fc03564071d346d80522d039 src/Tools/jEdit/src/process_indicator.scala
11a80199478d7f9d69731453c079b723f8d1f296 src/Tools/jEdit/src/protocol_dockable.scala
728dcf14399ac2095d0f3bb2372e0706fa1e051a src/Tools/jEdit/src/query_dockable.scala
16cbda16216a109518e62f634a07c055f873ca27 src/Tools/jEdit/src/raw_output_dockable.scala
a8bc18c00ab98d56a1be8a7b9758e427529d52dc src/Tools/jEdit/src/rich_text_area.scala
105bdc4b84229bff4392d8393c402f6ed44099f7 src/Tools/jEdit/src/selection_popup.scala
b4dae022f8d5113fba24d39125ee044f4741a8e1 src/Tools/jEdit/src/session_build.scala
2e6f7ba5db24c4dfa00d9fa68b66064972deca41 src/Tools/jEdit/src/simplifier_trace_dockable.scala
0a448acab0d637114204beb3f639c63d585dd7b1 src/Tools/jEdit/src/simplifier_trace_window.scala
53a90422c1e743a34b04948baeeaab78ed6f6937 src/Tools/jEdit/src/sledgehammer_dockable.scala
f2f1e36309613457d222c7324bafe9ff46fc13a4 src/Tools/jEdit/src/state_dockable.scala
d80a8693d11177383e3bee6f8c81e94df80045fc src/Tools/jEdit/src/status_widget.scala
f00248fb2ba853692c9ad11c170fd62416c6aa3e src/Tools/jEdit/src/symbols_dockable.scala
08c17491b24521c1ac899aaa8796175e81506309 src/Tools/jEdit/src/syntax_style.scala
3d23ce1170ca61d85fc3f3a4ed5f5f3d8fe260ee src/Tools/jEdit/src/syslog_dockable.scala
ac261cc7df2ab2f0276d97d6a25942eb69f811f1 src/Tools/jEdit/src/text_overview.scala
cd6ce3090855f23266d3dc0d290fdd0d383ec74c src/Tools/jEdit/src/text_structure.scala
7091472e9eaa00bce8e7e482237c6caae0cda9ee src/Tools/jEdit/src/theories_dockable.scala
1b989dd53d0511fa62178d647e3b48852008ec7c src/Tools/jEdit/src/theories_status.scala
f0f86e9e2b7b15d4048051a31c9f940b2a3cc338 src/Tools/jEdit/src/timing_dockable.scala
78e2f2da419e1f6ce782fef60f39afa802a19b8b src/Tools/jEdit/src/token_markup.scala
