a3a441175ac672bec903e103dc3e52df728dde8e <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
cdec6aa5ab4042a70ceaf155dfcf92cd7c09dade src/Pure/Admin/build_app.scala
7b7cf08a9a1902a0f252a02de1f937467dafce7b src/Pure/Admin/build_doc.scala
0a7c4a5717dffdf7740cd8123aaeea6913bb83cb src/Pure/Admin/build_history.scala
7f2479913c772197fb38cb8a154cdb29c1789004 src/Pure/Admin/build_log.scala
f5f558ff8f663ce4d7c8343f3808b3ecb7a4835e 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
9485339ff2adede7648a8a4f62225632776a0566 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
ad83a1de79d92eb8f098ad379732c33a50c9772d 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
86f6e35bf3e44584085cb0acb921b5ec2b2d4867 src/Pure/Admin/component_opam.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
22b9bad1fff084b51ec446d058e6bf812184810b src/Pure/Admin/component_scala.scala
02fef47e0a18ef522d61f03f3c3901932fdc0b20 src/Pure/Admin/component_solr.scala
53e736a780263f89e7929a637e19ab3344ccf4dd src/Pure/Admin/component_spass.scala
0e2ae703c221147fc88006ec2c3129c94365dce3 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
75a39dc25f97a11f333088fd77822bcda0b1a749 src/Pure/Admin/component_windows_app.scala
1d8c7d4372e504ecfed977aad8eb338f66c753f5 src/Pure/Admin/component_xz.scala
908ddea1cfd4db958040313029b0bbc3ca0b1b31 src/Pure/Admin/component_zipperposition.scala
ddea6bccfbe8de39375d43bd1f259b1f7d184e63 src/Pure/Admin/component_zstd.scala
deb88201cae3246d83b03f0f19d68b1171945e03 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
6cd9b1c625b11c2b37b95f75f2f1b8983a92dc12 src/Pure/Build/build_job.scala
e64bf86456f7cc525552d3a4d4d22763e4ce1b19 src/Pure/Build/build_manager.scala
f2f0c2f1ad9ba9663067cbb7f63a16e7a2e128c6 src/Pure/Build/build_process.scala
97c06b5b52864aafad28dbdbcbe65ee5fc9d9a4b src/Pure/Build/build_profiling.scala
08a9f276651418ed4246aa55c33a9d43e84af857 src/Pure/Build/build_schedule.scala
e97ccdddd19b8ff1586051f39de63cac50a9a62e src/Pure/Build/database_progress.scala
c11945a9717f4fd35c1cb5ebcf879e6e72b0018c src/Pure/Build/export.scala
5ec0c83450f7b9a649ec5d58c2dab8321db327d8 src/Pure/Build/export_theory.scala
77f49fa3275d4ab35d2d516a8ea4f5286cb92fdd src/Pure/Build/file_format.scala
d39dc4ffb1e92c8e6bb7d044644a32fa685a877f src/Pure/Build/resources.scala
74ce0af0c06a918a05a6e6c2e07a803fabd0a74c src/Pure/Build/sessions.scala
686e54f01ae29911374936f0be32f7cf8cb36040 src/Pure/Build/store.scala
23c48d64a34b6d76f8abf9391ee789086862f4e5 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
9a471f3eb51cc6212d4e0ae89ae2f2812bcea477 src/Pure/Concurrent/isabelle_thread.scala
95f5716c252a407d65f749064bb0242156955284 src/Pure/Concurrent/mailbox.scala
ad8fc9724022ec06b36cba45a5eaadb5c7b5c125 src/Pure/Concurrent/multithreading.scala
0b8fcfd52f0f00c580c0e1c247748a436ad23552 src/Pure/Concurrent/par_list.scala
fed2d258bafbd68cc8f5dd1948ebc90e14ff81d8 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
be865322f196c78bd714ae5b14cc233a38dbbf04 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
07a5b44a887b77933bba56cce96d51458597edf8 src/Pure/General/bibtex.scala
78f276759b526f0f82859cb90567d84bb2530dee src/Pure/General/bytes.scala
21369facc23d8397fd86738a98eb776eb20cb93b src/Pure/General/cache.scala
1a309d433cb71e6e7935c10667f98e5e6833a98a src/Pure/General/codepoint.scala
62d25fba3878b9e2f1d431e4d0d9dac8d6fa7d4f src/Pure/General/comment.scala
e192062504bea91dacbc24151dafba8d56fda2ea src/Pure/General/completion.scala
98706f2b0fcee24f00c9870be3bc53285bd14f44 src/Pure/General/compress.scala
eb861fda4f3375c2ea42149077acf25af5e8cb11 src/Pure/General/csv.scala
d3e96da837a2ba28847dc95f12a5aff48155d7a5 src/Pure/General/date.scala
9e0a37db09e87dce91862b3a5e4e666e4b47e18d src/Pure/General/exn.scala
05ae4fce66f8544c6ddede1b091d754002133c9d src/Pure/General/file.scala
8074a407c11ca742d0453e6eaedb74c09d806194 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
3202fc5e623528225630661ecd93d04a4897c2c7 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
af92ecd8bd23a4593ee34b2387ff7952b16b1da8 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
f1a79c9198c5ddaa61c549fc336e0d9e3491e8a3 src/Pure/General/message_digest.scala
ee0e5e097ec81d429ad7c6424197768e38682a43 src/Pure/General/message_digest_jvm.scala
449f46384ae556711808806c5be72b082422ce3f src/Pure/General/multi_map.scala
0e0bc46548cd603e3305a9b542cf28d946d5ff15 src/Pure/General/name_space.scala
89c4b2d86ffdadcebf1abac61f33143ac107de2a src/Pure/General/output.scala
4aec7a9c9c6f54f6c48e3800318d507640bd8f7b src/Pure/General/path.scala
812c86a2fca7d6cb0c96043d34ec91cdeca2dbfe 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
89729e1aa8125b2372ac164a57562f77a4c9a590 src/Pure/General/sql.scala
7628192e2d1c6113f428b73639f938bbfb947ad9 src/Pure/General/ssh.scala
41dc7a67ac8f8197b671f3d0631d9f6212fa1f58 src/Pure/General/symbol.scala
d77181f7e295ce3950e2fa0a4b77cbe73591ea8d src/Pure/General/symbol_files.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
9d7d1c3f7e91b5ebe82d0ab22f03116cef198b73 src/Pure/General/zstd.scala
8ede8d1df62857ce3a6810413463a4b25eeda821 src/Pure/Isar/document_structure.scala
799d0b0664ada521074ee6a2e2722b63652d5328 src/Pure/Isar/keyword.scala
014f98fd352104ac14a4b373f540ea0d273865a1 src/Pure/Isar/line_structure.scala
fa5dc5d8ab029de4820675d8aa9b8e4a29344aa8 src/Pure/Isar/outer_syntax.scala
ec5cb8863d294222c7c444456e98e36255f8803d src/Pure/Isar/parse.scala
da88da92f7bc0b6e1e2f17bcb58aa4a46b0b67f8 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
808970534eb3b0f7a0b8eb4a23722f6a641d217f 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
c8fc6b7b4a22003b43893409bbd281b5427673cc src/Pure/PIDE/command.scala
9a3398bf1461d23354a2303ec22e8dec47c929a3 src/Pure/PIDE/command_span.scala
7c8b1af914436237c08bc9de4c46aa4054f59dae src/Pure/PIDE/document.scala
72b66bbc3c2311d93de89d6ab3927dae59a2853d src/Pure/PIDE/document_editor.scala
7731ec7a252bd82b70121f3e0380913f3474da53 src/Pure/PIDE/document_id.scala
da1bf9961b4baddb9011b61fbdf8f4412fa0ce99 src/Pure/PIDE/document_info.scala
eff5cdd17493cf16e3ec4a99b8e8dd7bb073f0ba src/Pure/PIDE/document_status.scala
6e7d9c3b9c09a4cedf5133bc4fd268df517028a5 src/Pure/PIDE/editor.scala
e2f77b61943f0f4f92d5974c6128787b4a3419a1 src/Pure/PIDE/headless.scala
c2057604060cc1b35e8eefb24ae1f770e3420d11 src/Pure/PIDE/line.scala
03233154f1f2c9a25e3bec6bfce7d565f7adb2c0 src/Pure/PIDE/markup.scala
622994f24a77a8f2d4ff2c154b78f8c2703375fa src/Pure/PIDE/markup_tree.scala
c9a81d1334c010a55e0980a5af7d9cfd3328a649 src/Pure/PIDE/protocol.scala
cda0b85bb17b307d36274b3d46c77f4e5c06b84c src/Pure/PIDE/protocol_handlers.scala
8ed9900f461af13b7b89db4c70eccd94017796ad src/Pure/PIDE/protocol_message.scala
e4c60fc9136d6bbeb18e97c5d1807dbd981598d8 src/Pure/PIDE/prover.scala
fa3d39300043d7959cc641cd45f0ec436da64c5a src/Pure/PIDE/query_operation.scala
8f9c589fba8e723acb181c0b782b1388992d8b88 src/Pure/PIDE/rendering.scala
d2a8de869a7fa27a799e7306aabf5959a0425ddf src/Pure/PIDE/session.scala
fb9f6ecebe3c5b503f9e93120ece162bbe6d6480 src/Pure/PIDE/text.scala
420aae3dd7e7492a7cad2b75a6827a0e5e227835 src/Pure/PIDE/xml.scala
d8f45587967f00a14fa89b9d5bfa989161b69ff6 src/Pure/PIDE/yxml.scala
faec2658a8b8920f93c9404e8a43ad32a12be798 src/Pure/ROOT.scala
5866d95ee48ae4c7db4fb7a3c6cd9fb3f677a666 src/Pure/System/bash.scala
9375996b784d6d5cbf27222627b5ea3406ca94b6 src/Pure/System/classpath.scala
aa5711b738e85bef324de4581c1814b6f1aada83 src/Pure/System/command_line.scala
898a0f50db8e6fda22c4dadbe6a1dee5a53c9ee2 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
f97e83a12d541e1f4934d67c011cb036f57b50e7 src/Pure/System/isabelle_platform.scala
3fb7ae9c37dd9e178eaeb39348cfb0154fae6215 src/Pure/System/isabelle_process.scala
a3b9283bd7a18c1ab922bdcd4e2e57966ca53d4e src/Pure/System/isabelle_system.scala
2bfbc5bed1a7ed593800e0b9f3e7a2a78731a392 src/Pure/System/isabelle_tool.scala
6e2806f43d07b9508332a4806ab01fe96ea84d68 src/Pure/System/java_launcher.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
7abd4e3c2bb7bc59476da6a154492ce2c608bd53 src/Pure/System/options.scala
0c03bf0927702f95fd1e9c282e5df6c2d3587585 src/Pure/System/other_isabelle.scala
26c409c74b009658ff8f916cb7d1078f2a5e0549 src/Pure/System/platform.scala
390034cc280483aaf626ed1d066bdb9e30fbf56f src/Pure/System/platform_family.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
73e1dbe1c07404c1e49280879d8d4cf8272fd523 src/Pure/System/scala.scala
9cea2f260b080a1b5738399df360216486b586a4 src/Pure/System/scalajs.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
44a368929de43394782b0368d92160f07e7460e5 src/Pure/Thy/thy_element.scala
e721c4116d57856c825758dfa0311151c6ead1ed src/Pure/Thy/thy_header.scala
73bc27259a37c7a966ba1106af0f8b0dfda1b65a src/Pure/Thy/thy_syntax.scala
9e1e5cebd33a35062acd700772fb9c368d91f390 src/Pure/Tools/caddy_setup.scala
6890bec3fa86c41248b8b48e99c0a4e424025180 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
75ef654b15f8d269401fe12ffa3f44f40fe2ebaf 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
52f96f7545b2c439336b42f5f3a0e4884be682b5 src/Pure/Tools/scala_project.scala
869c6933a78598dafb34c4a1a79efbc4573d45ca src/Pure/Tools/server.scala
030e46f9ebc7efb780817e1a43b33528f357a396 src/Pure/Tools/server_commands.scala
cf7753268a4875426a776da01e68f9ef0fa3bed1 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
c78ef6f746930b4fe545b33173ecaf0dd7858636 src/Pure/library.scala
bdf17623ce7ff5362d2730fb9362f366b1131225 src/Pure/name.scala
fadf6c6ff2331fa4898fa8c6cb6aeb197ab9e6de src/Pure/pure_thy.scala
183274ae06dc9a9c7d87c58e60781fa01cfa9e6d src/Pure/term.scala
ff1ddd8e5ededc16663cb09210563ac4d7cc5d11 src/Pure/term_xml.scala
bc938dd7be5501d68fadc0ce4bf4c17b4383f90a src/Pure/thm_name.scala
e1d3e0b1693912ae28028f9cb9b497ac9c452a80 src/Pure/update.scala
f59f54ef62ddfb39128c6bf13991f9c2ab4365c1 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
1a349090dde9abb6d612f530ed744d5f3dda1282 src/Tools/Find_Facts/src/solr.scala
39fcee0753e21606b6c2edba514e0dda0e016c7c 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
10a83c95c4f49e04c69f0aa7224d90cb4564a951 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
4edfbbbf9f4f47d2c00f110bffe6d3692c3bd79b src/Tools/VSCode/src/component_vscode_extension.scala
ce3d615c181a207bcd9c30eea8c7c3f615af6ebe src/Tools/VSCode/src/component_vscodium.scala
3cd376bcb98a87744e143132603e6d664d525d62 src/Tools/VSCode/src/dynamic_output.scala
cea0447789bbceb4db23ea2db77b1cd40fe61a2d src/Tools/VSCode/src/language_server.scala
9fc9c502c6c4f7e8277f23401c0a9afbd896e55f src/Tools/VSCode/src/lsp.scala
d680689d40469099eb502bd8f044d1fb89e072d7 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
3a4783ec800176f685c50fe29a02e057f14f4f79 src/Tools/VSCode/src/vscode_model.scala
0b61215eeb0f533d1361b7923c61112ee7f6b841 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
a4723586cefa0b4b2b501ba66f40c2d81576b023 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
33828e5c7265ae26120524ec4138a6df9cd42d51 src/Tools/jEdit/src/document_model.scala
6f9cd824b5870dc68a1f1b0a52eaf3342e38526d 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
36fb0d090a3586d91132d5fc2f99074877c89695 src/Tools/jEdit/src/graphview_dockable.scala
7ff2261bc8f2cadff72c70856fa8aa649491ed05 src/Tools/jEdit/src/info_dockable.scala
a2289b1e623cd599907b29a12055b9053a2a7010 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
04df8c1b36a2c5d7a5e434dc24b52940d3843e50 src/Tools/jEdit/src/jedit_accessible.scala
6b7bd39edbeb62ac098a885542fc714da88b9df1 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
af5fcf1e3d31c929e67eefae71202a302ea09a9a 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
836d3b14e912946a5ab873605a481d4ec2905c45 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
698d3d225fec51beabd2d02db912155c363fc33d src/Tools/jEdit/src/keymap_merge.scala
a93dc61f67629bea081118b1657fc483a28d06a7 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
a3db9f590ea40ee6f5d8bdce4e1e0eac6238ea9e src/Tools/jEdit/src/pretty_text_area.scala
14da78b2cb0f70952e8b6a0478d09b8ce54d19ef 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
d57646cb982f9e0caa41465e69d6b25cb5c47695 src/Tools/jEdit/src/rich_text_area.scala
552e2c5a65f9bba881110697ff5388198265c04b src/Tools/jEdit/src/selection_popup.scala
b4dae022f8d5113fba24d39125ee044f4741a8e1 src/Tools/jEdit/src/session_build.scala
2e6f7ba5db24c4dfa00d9fa68b66064972deca41 src/Tools/jEdit/src/simplifier_trace_dockable.scala
c578905dcb0f5180aa17e84cd9eb24670ec55ba6 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
e02310f12ac2354d8d2d87172ca0347db263dcb6 src/Tools/jEdit/src/syntax_style.scala
3d23ce1170ca61d85fc3f3a4ed5f5f3d8fe260ee src/Tools/jEdit/src/syslog_dockable.scala
ac261cc7df2ab2f0276d97d6a25942eb69f811f1 src/Tools/jEdit/src/text_overview.scala
f035d58de2aeab21fbc8af39121baac01c7107c8 src/Tools/jEdit/src/text_structure.scala
7091472e9eaa00bce8e7e482237c6caae0cda9ee src/Tools/jEdit/src/theories_dockable.scala
1b989dd53d0511fa62178d647e3b48852008ec7c src/Tools/jEdit/src/theories_status.scala
4b12fccb3a9defac4a275cd9fc683c7be64670f6 src/Tools/jEdit/src/timing_dockable.scala
10427c69f37f1f64cfa6ae1d139458bdddfcdb43 src/Tools/jEdit/src/token_markup.scala
