693e436328d820913abfb7368521b17dc5145bc3 <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
d025b5f56a0eab9095741910f1b675d2f682a52f src/HOL/Tools/Mirabelle/mirabelle.scala
daf50577316365b7c67ab3ff1ac6972a55070b24 src/HOL/Tools/Nitpick/kodkod.scala
c6985f692ba673e455bd1acf3d561472565a7eba src/Pure/Admin/afp.scala
777bec7d5a346f30049ba12f64512b8798145411 src/Pure/Admin/build_doc.scala
33eb0cf92600dd74df01e929852bbb7b4bf25b85 src/Pure/Admin/build_history.scala
6688eea8f8d95b78d7772a88aec688bbe120723a src/Pure/Admin/build_log.scala
4ffba8b0cedc7d36cb6237de6c5b16abad117c31 src/Pure/Admin/build_release.scala
62c25b78a22cc147217fc908fa14be0d6a46f007 src/Pure/Admin/build_status.scala
f668fa291c5e00ecf80095e7360545988fc9e2b0 src/Pure/Admin/check_sources.scala
26538785b1275e7d7275bf190d25925b97fbace7 src/Pure/Admin/component_bash_process.scala
56d4b1791e1c3f9fbdc237eb0698c075f36f3ba0 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
917e3740a98ed8bab8175ae455cbea6ba6c7e5bb src/Pure/Admin/component_flatlaf.scala
5b0d200a2cc2cc68b15273cfffcf0b2ebea825be src/Pure/Admin/component_foiltex.scala
6d7c55009b4c0ae4fc192d31ad2c7d9cd5e73946 src/Pure/Admin/component_fonts.scala
d4a3efcab76f432b6af876f094695206e3462ffb src/Pure/Admin/component_hol_light.scala
5a68263cf8d1293c4de9314cc88c028550033fa3 src/Pure/Admin/component_hugo.scala
f54fd1d9a90e97390d804bd4ff46eae259ad0300 src/Pure/Admin/component_javamail.scala
adb70a56ea2686df83e4fc9e83e32cd989e46da8 src/Pure/Admin/component_jcef.scala
636c3f18c20937175a4f34f99f05f68b2f5543a1 src/Pure/Admin/component_jdk.scala
5f286657cfb2d2e7a1042d19bea2e78af67e173b src/Pure/Admin/component_jedit.scala
1a7b2426149f3706e93be50c5039161b8b2ed434 src/Pure/Admin/component_jsoup.scala
737d875d3d97739274737cb72d015247b095c587 src/Pure/Admin/component_jsvg.scala
734562559907e311d998bad3b218fc7190fc43cf src/Pure/Admin/component_lipics.scala
2236fbfb159ca4fdc1a17a7e08ba2fc65b7d6381 src/Pure/Admin/component_llncs.scala
41ac129bfcf4e7b02c53dcdada31532ce8533a41 src/Pure/Admin/component_minisat.scala
1143f5cc73ab9d7e57041937f53f68ea321ca27c src/Pure/Admin/component_mlton.scala
3a5c73f28e34f4c23a269a9ed579e131884252cd src/Pure/Admin/component_pdfjs.scala
83f338686ac247be306c1a664aba75431d9a989c src/Pure/Admin/component_polyml.scala
fc72ae39270999c9d4fef14a16ae1700b350b9fb src/Pure/Admin/component_postgresql.scala
6876fa636a0c93b6b7e7db285d82755869637b00 src/Pure/Admin/component_prismjs.scala
70b0575bde224423eadb80a4dfed0f6384542a1a src/Pure/Admin/component_rsync.scala
8168c1c0e71637268e420343954836c22fceb885 src/Pure/Admin/component_scala.scala
1a10ac851243d6e1c95b38876eb98f57ba9baa28 src/Pure/Admin/component_solr.scala
07cd31bdad0bc4fdd287379b3221adc2fe7e39d9 src/Pure/Admin/component_spass.scala
370911f30f4952dc802b596d53e34094a7592f06 src/Pure/Admin/component_sqlite.scala
6e0536dcacbddcbe713db39c715e7ef68ba006a4 src/Pure/Admin/component_stack.scala
ef5272434c589e083ce267a7fe71f7ab49a90efc src/Pure/Admin/component_vampire.scala
704d458ca159e4b2077abfdd59fd184af5a693ae src/Pure/Admin/component_verit.scala
aa275db441aad5a88777cdae36065a65c0bf6f93 src/Pure/Admin/component_windows_app.scala
1d8c7d4372e504ecfed977aad8eb338f66c753f5 src/Pure/Admin/component_xz.scala
c2e8e4c4d3fc45c5e62c8d8a2e9b8dc193e6408f src/Pure/Admin/component_zipperposition.scala
8b8c244812592849def9b05c6766b0705ee0943e src/Pure/Admin/component_zstd.scala
3ea30f96013947453ffdc7c5d96566836e4975fb src/Pure/Admin/isabelle_cronjob.scala
4fe855b3c127dcb2e67babf2f3a2c94240950a46 src/Pure/Build/browser_info.scala
af23bd07aa8b2db11805d99f233e0c702242b35f src/Pure/Build/build.scala
edceb89c353e2591b55e654fc989e763a3f431fd src/Pure/Build/build_benchmark.scala
50ca5d008034951ee1e00c34b82c5ec0c305cd88 src/Pure/Build/build_ci.scala
263af60da90a7c0311bb5a066a3067b0e456c47a src/Pure/Build/build_cluster.scala
ecda81c2ffddf5dccd09b1e4df8d0066eb9a9cdc src/Pure/Build/build_job.scala
50fe63c2f322f6eb62143c66a218b362c65524cf src/Pure/Build/build_process.scala
c15fd89cc8d6086dcec1bc3f20d8b2f4d0ad0f1f src/Pure/Build/build_manager.scala
01ac1d48d1b95b6c97b8ffaca5903ea9d1500803 src/Pure/Build/build_schedule.scala
877f7997117d492e7526b6f9401cce9e773294e0 src/Pure/Build/database_progress.scala
0525aec22bd4e47f023922d3b1e1864d69f833f4 src/Pure/Build/export.scala
5ec0c83450f7b9a649ec5d58c2dab8321db327d8 src/Pure/Build/export_theory.scala
c520bff940ebfb5c041456f77518a9f76f9aee61 src/Pure/Build/file_format.scala
59da175f15200a1bfa510ea7888f7fa09c1080bd src/Pure/Build/resources.scala
f70c5b01254d3252e9515f16274763a951a2fac8 src/Pure/Build/sessions.scala
3f0a362edc06f1752d5d6ce6e459acf71a503cd5 src/Pure/Build/store.scala
46522f01f7501521fd7572ddba5085c0f996fdee src/Pure/Concurrent/consumer_thread.scala
a181923fcdb782d3854581fc2f0bbbc3d8fa9355 src/Pure/Concurrent/counter.scala
4299732353b0fd29253c6a363059cdfd72cd1429 src/Pure/Concurrent/delay.scala
d99421fa28ceb99f2fbb0e7dd96a30bc99bd7193 src/Pure/Concurrent/event_timer.scala
64cf8bae9eb88220d48baa4c9ae91e4d264132ab src/Pure/Concurrent/future.scala
7377573e9f220f79a60ab6f8c6730aa013d94f3c src/Pure/Concurrent/isabelle_thread.scala
515d9e7dd545d97aec487a94b79a36a6c2967c7d src/Pure/Concurrent/mailbox.scala
d389ce93e246db9821a6cfe4f318f098acfa4e30 src/Pure/Concurrent/multithreading.scala
0b8fcfd52f0f00c580c0e1c247748a436ad23552 src/Pure/Concurrent/par_list.scala
35c60454328e2f3043b5b0b3560a37ca2e9293c2 src/Pure/Concurrent/synchronized.scala
085f32e2ae817ce4b405baf76501a3f0ce427a2f src/Pure/GUI/color_value.scala
a2106d2e8417fa706e713d4bce8248c150792151 src/Pure/GUI/font_metric.scala
dc3e3d5ec45b34808d17ea2059751f49dc7ca7aa src/Pure/GUI/desktop_app.scala
2ed2875293c5c94d9a85397800b877ae4cea2c35 src/Pure/GUI/gui.scala
a69e9fe34687e0671ed7e120d60da9304d931436 src/Pure/GUI/gui_thread.scala
decf4505635e19395654da5e97c2773fd3dedf64 src/Pure/GUI/popup.scala
6102c4a2ff229e199880642680fc9ed4f364bcb9 src/Pure/GUI/rich_text.scala
9f72d087c9f3b244c536f740d0a50abd170e1654 src/Pure/GUI/tree_view.scala
a13a5ce3fb89836ba88acbbb875231afef5d31fa src/Pure/GUI/wrap_panel.scala
0bf62f8c2de244dbed06f4c56e2a9e35730530da src/Pure/General/antiquote.scala
c0dd0a501aa2060b2b5474670677bf1684ae0220 src/Pure/General/base64.scala
43b38e96b62e64a34580817b55028383c8d379f7 src/Pure/General/bibtex.scala
3a0fb0ed8bad5046c1e737ed85314d16b48c45d0 src/Pure/General/bytes.scala
b6bb940a1805f4f64f03a29253da8c9c25b7322b src/Pure/General/cache.scala
1a309d433cb71e6e7935c10667f98e5e6833a98a src/Pure/General/codepoint.scala
62d25fba3878b9e2f1d431e4d0d9dac8d6fa7d4f src/Pure/General/comment.scala
f5a24f2608367d383bf3f6b398ac89f43467a065 src/Pure/General/completion.scala
603d96fc0366f89b4db026e2bf5e392159d96579 src/Pure/General/compress.scala
eb861fda4f3375c2ea42149077acf25af5e8cb11 src/Pure/General/csv.scala
a7cf615df905273f73b9944113fb0d084d3f1eaf src/Pure/General/date.scala
2d375b83ac53035bfdb3a500351bcd9263273173 src/Pure/General/exn.scala
a88798c7c40efaa73e337d4ad8124b753829e5a1 src/Pure/General/file.scala
fa1df400a39c40ab9c4f6b739de9b80eb84e2c31 src/Pure/General/file_store.scala
54e2ecc74555fe1a7c44288d1e064166eef06d94 src/Pure/General/file_watcher.scala
cac5000baa5740a97f75a22bb332d2f91dca3db3 src/Pure/General/graph.scala
bddd80592534e850af8289a873e883c96aec9d19 src/Pure/General/graph_display.scala
8b6d6dda21a9d2d375309fda545f7a0445405d06 src/Pure/General/graphics_file.scala
efba9e119c9ec5dbb903368e12e518d751b9cbc4 src/Pure/General/html.scala
ad10acd21003f184c1d7557cb8b64e8e985deea6 src/Pure/General/http.scala
2d83120d3697e666549e47d1f76ec43d5b69fc9a src/Pure/General/js.scala
4e3ac1e41aa3d57cc0d4cc6a02972b50f32e92d5 src/Pure/General/json.scala
1515ee7e7da429e0cb105d4e2b01a90d7f09bce9 src/Pure/General/json_api.scala
5f2babeb5f74cb22b64f0cdc78b539c0d32ed791 src/Pure/General/latex.scala
78a33d86834c696376e93249e99e5e49dd527bb2 src/Pure/General/linear_set.scala
67a1356e0429643eb19c87be80cfa32f45e6ea16 src/Pure/General/logger.scala
69d8070e0f8699836fda332c922fe038bab10fc6 src/Pure/General/long_name.scala
54e6424213241fc61d93e882813821ada5e89956 src/Pure/General/mail.scala
de3d8948f8589721ce02b7821d7ef7467d6d9a15 src/Pure/General/mailman.scala
a01f5d41d085fb7888613f091222768728e379e4 src/Pure/General/mercurial.scala
449f46384ae556711808806c5be72b082422ce3f src/Pure/General/multi_map.scala
773676d1b5432c50e6b16282ef998bd9306a9657 src/Pure/General/output.scala
020837067ea96fade050e91535284f22e7af1e7d src/Pure/General/path.scala
5b212e1f21669facacd21b8583beb676089daa75 src/Pure/General/position.scala
92082e507cf6b066858204259ea80065251de783 src/Pure/General/pretty.scala
f0e2d4147f04e17fe78c73b1fcbeddbb3c99b844 src/Pure/General/properties.scala
c3f1326abcc30a53eb14bd85e243b5b90f5f29ec src/Pure/General/rdf.scala
c5caeb76275ba0ed44016b8a83d3ac61e7702539 src/Pure/General/rsync.scala
554cd80a09c92b7135f719ccd947b8f3dc358b7f src/Pure/General/scan.scala
1c9375a61c1313a4eba56df6e44c2de13bcdb2ef src/Pure/General/sha1.scala
325daabcacd9679fdc8d8db29173cafd072548db src/Pure/General/space.scala
632e3cecdb6785aaf75008269e3b4e5d03cd6428 src/Pure/General/sql.scala
1f1faa30937a5f660d7ced850dea8be59a56a11b src/Pure/General/ssh.scala
ef46ee95b86cae0be6d42d3d3d52414fe656d1f5 src/Pure/General/symbol.scala
37d4ec30bccd36ab0ac1dee5a8d8ebaffa7accdd src/Pure/General/time.scala
74e997bfc0522c7dfc51dd69196c7e9a6f21a264 src/Pure/General/timing.scala
1a9aedeb6332518210ed48f92183d4a90f4c94d1 src/Pure/General/toml.scala
a28bd63d1fa96f31a3d315436cdc4209af194fb8 src/Pure/General/untyped.scala
62bab916616c494463ef012c6c7da706978e542d src/Pure/General/url.scala
91cc5a5efc4c06b5bbed4dc267fcd3b2da517800 src/Pure/General/utf8.scala
569a2273fe7e8b40c688dd02bedf7083316fa200 src/Pure/General/uuid.scala
178b51c398dfec556fbb67348ecc71765370c7b2 src/Pure/General/value.scala
c2ff4883b26ca1db520e7fa078bcfc890b2c6561 src/Pure/General/word.scala
dd454d3e8f16c4458b6971c5f79f052fbeb55ed8 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
3eb7271cc5129e415c9cd9be7624bde76e9216f2 src/Pure/Isar/parse.scala
a2063a569f834132d229d465e1a6c4697ac9e614 src/Pure/Isar/token.scala
233bb19b495b29573bcccc7d6e3e16324e3a1acc src/Pure/ML/ml_console.scala
ecdadb682fa59af4f1e9765c2915f941c10642a5 src/Pure/ML/ml_heap.scala
f2a9c023cb8c325543de0dae5965951684b974c9 src/Pure/ML/ml_lex.scala
3844b591d32b170a4ece3702e2b1eff7b620a17b src/Pure/ML/ml_process.scala
5fac7ab2928deaa150cbc0f0d109032100b89b6f src/Pure/ML/ml_profiling.scala
baf6f05c71b13159026cb2c4549d926cf28c3515 src/Pure/ML/ml_settings.scala
e84621f17c0495cd4c94b8faebd4f37c8152f6c4 src/Pure/ML/ml_statistics.scala
b45f87e085c2cf4f81c7501cd70506175d54c8a2 src/Pure/ML/ml_syntax.scala
ef9a2473a507e3c697e56dffc35c5ba02f8a4189 src/Pure/PIDE/byte_message.scala
da5c9757b5578b3b56bc2c690f1a9d7a0c7212f4 src/Pure/PIDE/command.scala
69210b52a53e7b81ebd9b241be863769d009e7b9 src/Pure/PIDE/command_span.scala
5d95643bc56c756aa90bada3658a1ca616d4d087 src/Pure/PIDE/document.scala
b26bd32c8b297c05f523d42de9c4e5e3cd3cb285 src/Pure/PIDE/document_editor.scala
7731ec7a252bd82b70121f3e0380913f3474da53 src/Pure/PIDE/document_id.scala
da1bf9961b4baddb9011b61fbdf8f4412fa0ce99 src/Pure/PIDE/document_info.scala
a6db9eb38dac20a8209bf6106645f595efd15e24 src/Pure/PIDE/document_status.scala
32052266b0ae1dcc8a19c359af04cbc4b16e9ef0 src/Pure/PIDE/editor.scala
c07d742a75e213c4e88fadf51c5d21b1852340b1 src/Pure/PIDE/headless.scala
c324ad9040e88462bbd10d2aedae24758b0c8b62 src/Pure/PIDE/line.scala
863c6354d353202b6923f52a036c5b9d7042cf13 src/Pure/PIDE/markup.scala
d37f9b8043c7249c3bea514f8d846e4cd542602d src/Pure/PIDE/markup_tree.scala
85f474f48a5e309f5f5c0c4c7f8737a495f2610a src/Pure/PIDE/protocol.scala
4c4e2a9125e8360bdc1b78fe74c9a7cda7970194 src/Pure/PIDE/protocol_handlers.scala
8ed9900f461af13b7b89db4c70eccd94017796ad src/Pure/PIDE/protocol_message.scala
515da5519cb98816d1de44e8366daeee9f17207f src/Pure/PIDE/prover.scala
c694626fb31118686023102f6c0100e77e87b2fe src/Pure/PIDE/query_operation.scala
42896881eca58514e6e719f9461fefe51bcbebe9 src/Pure/PIDE/rendering.scala
f8430db1479062cd86758fbf7bd1c2a3f7622346 src/Pure/PIDE/session.scala
5752513592f663e321b8e1ac27b633abcf94ca39 src/Pure/PIDE/text.scala
3c028551ee861e4ad21043445f70c73fa34e64aa src/Pure/PIDE/xml.scala
d8f45587967f00a14fa89b9d5bfa989161b69ff6 src/Pure/PIDE/yxml.scala
1e08bcce34d0ab93b0a367af4d311743e874ec7d src/Pure/ROOT.scala
1b882b186410a2648c9e83237e823d3072db151f src/Pure/System/bash.scala
83f814e826607fc53dc446a2bddaa2a471feb0f4 src/Pure/System/classpath.scala
9223d76541ddd4aaba1d9626d4d762cd2690090f src/Pure/System/command_line.scala
2be1236e43ec158cafae1d4e830739b342683fb8 src/Pure/System/components.scala
948c71c801a027c8d1525e8cba3b17ab443ae604 src/Pure/System/executable.scala
c50255813dd5023f7741fa29b29f5f056201a2cc src/Pure/System/getopts.scala
a9200f62aa571ea6e1860ed7928fa6862f9da3d6 src/Pure/System/host.scala
f04a1f060bcfff908369426f10a0abf0b2c8ed6c src/Pure/System/isabelle_charset.scala
32a88341a6190a85ec108f89d858d2361a6efc5b src/Pure/System/isabelle_fonts.scala
c516ce365e592faf0471deb20afa4eb9eec477c7 src/Pure/System/isabelle_platform.scala
a2aa4782fafb3063e4846bd6a1b3d819f53057fe src/Pure/System/isabelle_process.scala
42d7d82c2ec2a3179dccf0e48f18286d478da703 src/Pure/System/isabelle_system.scala
f1090423c7cd73e02569256813a945ac25ddd4c7 src/Pure/System/isabelle_tool.scala
532a08b0e81251eca63ea847b9e78e80e8c2869a src/Pure/System/java_statistics.scala
72bc349bd68e140f14fd70450350c3213cfa9a05 src/Pure/System/linux.scala
46c839719c62ada7713dee9b5c5fccdcd90f7aee src/Pure/System/mingw.scala
35380698678c2e952e0da31fb948ab1368b727b0 src/Pure/System/nodejs.scala
09baa7d8ac9c0c61df75b54f6db95ea5d8d4aba9 src/Pure/System/options.scala
dd2acc9fb649ec74673d63cf09244aab0212eb8c src/Pure/System/other_isabelle.scala
116bb4c70665d29ee6f409a4c97e1ed7f8a979cc src/Pure/System/platform.scala
85206b7a29dcf90bd8ac38e116d1bc542dbbaddd src/Pure/System/posix_interrupt.scala
84a02672366e5cce65a4335b21100370cbeec41a src/Pure/System/process_result.scala
12d79efd61a349e74d46e1050a1bf45f49ef6d45 src/Pure/System/program_progress.scala
3f88f8b755c047f67b0b0d815fce57883ae49c78 src/Pure/System/progress.scala
a94a697b6bb6db2b37ccb11baa35e01265cccba3 src/Pure/System/registry.scala
8cdc9738d8835e66df92f8e5df1ed49018836f4f src/Pure/System/scala.scala
0627f66698b867cb5c3f1a55b415f4308b54d201 src/Pure/System/setup_tool.scala
5bf0a82fd798726a5d18a7805f43f4bd9d8d658c src/Pure/System/system_channel.scala
bb8b084394262939d24c8846da041540752a7ccd src/Pure/System/tty_loop.scala
a2db937f90cd202de7e8b2437b47009bc9b70e08 src/Pure/System/web_app.scala
b46fef78ca3635b35f1cff8e095598198d5c06f5 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
c11dfe259f450904b4840b1c527d74a5dc9139ea src/Pure/Tools/caddy_setup.scala
4dc11bf5f604c93491cdb3f2af18c922e28a28d0 src/Pure/Tools/check_keywords.scala
4224cc4fc42ce65e38255a09b7c8823087f9c1d6 src/Pure/Tools/debugger.scala
ae6b8062b16d54f4694ad4b71781848b4e223372 src/Pure/Tools/doc.scala
4e8e908158e37739e3eb4c6782801e72f1d69986 src/Pure/Tools/docker_build.scala
fa152aabf78bd0c4d410fec22f10882cc1b0bff3 src/Pure/Tools/dotnet_setup.scala
2aaf31692c592572f954eb290c9cfe80e569df9b src/Pure/Tools/dump.scala
f3265d9174f8062ef5731c6d58a9ca7529442895 src/Pure/Tools/flarum.scala
56bf59dd98dad6cf50636f985b28aca48260046e src/Pure/Tools/fontforge.scala
3cc0dd5a72128491e1bb94c1ebcf443d5d1e958f src/Pure/Tools/go_setup.scala
49fbc2f6facf2e3dbfb5e61badf46b7bfa00d6c6 src/Pure/Tools/java_monitor.scala
d3fa9ea72b66a20a44b15feffc0085751306d195 src/Pure/Tools/logo.scala
2e8c7741694ee71c332e100771317e932e993fc3 src/Pure/Tools/mkroot.scala
cbe248150016b781f3e760a60e7313c98403e90b src/Pure/Tools/phabricator.scala
4a672d43c9e55b22e713c5229d9b819b05f2006c src/Pure/Tools/print_operation.scala
f318974e7c44ae6f6ee07af38376a3c89b46c0e2 src/Pure/Tools/prismjs.scala
4f7beef3a6254494d88013814e9182c88a47637a src/Pure/Tools/process_theories.scala
570ac3504ee799b36f03e2abcf2b5685a8716863 src/Pure/Tools/profiling.scala
abeb96a9d042ee6d78f042287b0cf3d287af88bf src/Pure/Tools/profiling_report.scala
77a080091e8c1b35886ce98439cd978949ddb591 src/Pure/Tools/scala_build.scala
f332a2009b518fb9bae85a080f31ba4593ef86d6 src/Pure/Tools/scala_project.scala
c867089680fadb569e38ec59a43c7537ed22dd46 src/Pure/Tools/server.scala
52189c4865cd8bebf2ad9d55047a78e0f8feb53b src/Pure/Tools/server_commands.scala
1fa0a838f912b61a973a6e1ed11011cbf27bd7ef src/Pure/Tools/simplifier_trace.scala
ab3e0dd143bd8cd73516a4ed3caed2a08552c761 src/Pure/Tools/spell_checker.scala
10d4e772ea4811cf9b0a65b5edfde308f251e2f0 src/Pure/Tools/sync.scala
e50b3754350dbb78a121e479b7302632f0f6ef06 src/Pure/Tools/task_statistics.scala
d14d1a99007fc243254fe69aa5ab9c84c71066fd src/Pure/Tools/update_cartouches.scala
1018e36dcfd492ae3b8c2bdcf62a09ff106ddea1 src/Pure/Tools/update_comments.scala
c5673ba94e4b12ac2f332a6bf286319ac5ad8876 src/Pure/Tools/update_then.scala
080fba1b4b4471b22c5a7caaa7da51d2cb5dd93d src/Pure/Tools/update_theorems.scala
6ef125af04981515f2a019a31975a0ab4b1317d4 src/Pure/Tools/update_tool.scala
62ba2f3d043f65599d481b1b0386dc8a909a7c63 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
0b8730f76ff48a20e181c1d0f8272d766dddf766 src/Tools/Find_Facts/src/elm.scala
e98ab32355652028c12773d2c17b4ab9fc83e089 src/Tools/Find_Facts/src/find_facts.scala
7dbe2f1e8658342c867513dd3d3ae71da341dc8f src/Tools/Find_Facts/src/find_facts_tools.scala
3368ee83e93a920941bd28a754e9822b2227e7a2 src/Tools/Find_Facts/src/solr.scala
c1f31e4076a1d78dfa0ea8e8eea7ff0902fe659d src/Tools/Find_Facts/src/thy_blocks.scala
52da1131e08dc1257d6e00c714b28c849e60d678 src/Tools/Graphview/graph_file.scala
e8611dd74107b3df20afc7e85811216c2476b797 src/Tools/Graphview/graph_panel.scala
a8026954d324af94d0ce5c281b4b930567cf51a7 src/Tools/Graphview/graphview.scala
e8129931ec0eed473dd72f395dc03c62cdc293a5 src/Tools/Graphview/layout.scala
39b419bc5babbad84dd328fe1079ba7984bfeba1 src/Tools/Graphview/main_panel.scala
0e9fe383f56b9322c768bb58b15ec8109fd04c51 src/Tools/Graphview/metrics.scala
ba944831c988e2dbf16521cd994fc8d84457d988 src/Tools/Graphview/model.scala
279d9cb83485d7c1333ab746759775a8d849867a src/Tools/Graphview/mutator.scala
ee6ec11fef39ff264a0574fde401c194e2e951f9 src/Tools/Graphview/mutator_dialog.scala
1baf961480f4c64267a935272f1758b298b182eb src/Tools/Graphview/mutator_event.scala
21c032a012d2dda2a3591e567db1b9a05364d85a src/Tools/Graphview/popups.scala
01e22a9d93b1f161b6c69eeccfd3c1b00f959d4a src/Tools/Graphview/shapes.scala
3eee7947239b5cc2e4a89e26b9771f1ab998be0c src/Tools/Graphview/tree_panel.scala
512be751ffdba89b9ac8be982c7f85a5d595ba92 src/Tools/VSCode/src/channel.scala
1a2af7a613768dbdd6563a8672dc13e81cf1ee7b src/Tools/VSCode/src/component_vscode_extension.scala
b1edbdc5cdcb3f93cfecd9f1da45c9316c68fc53 src/Tools/VSCode/src/component_vscodium.scala
73a0c65ab946db69b826557f8cc75b41b3a7de3a src/Tools/VSCode/src/dynamic_output.scala
7ed3c83d60541249844fe3b0cdeede79007d5ff3 src/Tools/VSCode/src/language_server.scala
e59e977af467a1de0e832b1ee93e91cc0c27f9ca src/Tools/VSCode/src/lsp.scala
6409281325d051d5e86d81f115653f5c09b98bf0 src/Tools/VSCode/src/pretty_text_panel.scala
cbf3eb52c21208a74fe6a75602b4457a99c6c92a src/Tools/VSCode/src/preview_panel.scala
acc21fb0737933ae649681d0ebfc60111503ebed src/Tools/VSCode/src/state_panel.scala
666790da4f65bd4ef621d2ccb1588678a7333cf0 src/Tools/VSCode/src/vscode_main.scala
35130a4a2bda20a56c6bba63bba515186e43fc7d src/Tools/VSCode/src/vscode_model.scala
c86cdde2f01271aaa294b741195e2808bc68c775 src/Tools/VSCode/src/vscode_rendering.scala
6d770fe392b2fe24f595380a61647b8c894e4d93 src/Tools/VSCode/src/vscode_resources.scala
9cacdc9665281c339f4481f1ecfe6cdb97f04a72 src/Tools/VSCode/src/vscode_session.scala
e45750e7f4990a6899821bcd908f1671b482ab71 src/Tools/VSCode/src/vscode_sledgehammer.scala
0074cceacce2440483dacd6c6b1b82f05a7ba3f1 src/Tools/VSCode/src/vscode_spell_checker.scala
c2f7ee63fafcf791f217aa2361281ef681863cb2 src/Tools/jEdit/src/active.scala
967a0cb640a9b76546c1c085f32c82d86547d7b6 src/Tools/jEdit/src/base_plugin.scala
cd3c3035de19b2d638a0eda2bbd608c71912c844 src/Tools/jEdit/src/completion_popup.scala
32dabec01aa6178fc0aaf627f2876ce92cd6732c src/Tools/jEdit/src/context_menu.scala
b5d3bd377a7977354cc56a5ef7a9465ac6bb1445 src/Tools/jEdit/src/debugger_dockable.scala
361925cc3137663955d551c16fab89276d58f0e2 src/Tools/jEdit/src/dockable.scala
c51752e4457d21640f22aaa89c51646057f35add src/Tools/jEdit/src/document_dockable.scala
76959a33e85474dadebea50b1943b43d7a1f9b1a src/Tools/jEdit/src/document_model.scala
b851caf9647ced7669e4e6527b29b9cbbf876755 src/Tools/jEdit/src/document_view.scala
4486338c58ddd06f4920d433ab19c42388c7f534 src/Tools/jEdit/src/documentation_dockable.scala
f64ce947db45bc408b27653dde276eb06f4f89af src/Tools/jEdit/src/fold_handling.scala
237e7819f72a3c6dee933f09c488f63628b099a9 src/Tools/jEdit/src/font_info.scala
687cfaa499af24c26d0a6b6dcd0f4ab903a9756d src/Tools/jEdit/src/graphview_dockable.scala
561b31cf67538605a04562bffd55ed587f2d8d80 src/Tools/jEdit/src/info_dockable.scala
a96b61e0158526a2b1d62772643cf77b8619e353 src/Tools/jEdit/src/isabelle.scala
ecff923e72f6f2d97c9e669b604a8610d4704355 src/Tools/jEdit/src/isabelle_encoding.scala
b6c65d79e47add606923f5a092fa8a127710e094 src/Tools/jEdit/src/isabelle_export.scala
5965a0a6fb450a409568a75e083713527aae7bd6 src/Tools/jEdit/src/isabelle_navigator.scala
1cd726f1a02e28be635ad0cebccab9dbda0edef5 src/Tools/jEdit/src/isabelle_session.scala
f4a367651f95acd175beca856c47f072cf80f4ab src/Tools/jEdit/src/isabelle_vfs.scala
f217e7423f736c1b14ee01dc4eccab6d1ceef46e src/Tools/jEdit/src/jedit_accessible.scala
8d7f190235e5771737992122cbc2446b8d6b6466 src/Tools/jEdit/src/jedit_bibtex.scala
a0f1b6d81a9e8d409130e40784e92f1dd4907cfd src/Tools/jEdit/src/jedit_editor.scala
8b7ca600b92824728fbf50df3e3303ee0462f3e1 src/Tools/jEdit/src/jedit_jar.scala
ac72c3b3b06db78de888ce49c8a0cb304d5eaacf src/Tools/jEdit/src/jedit_lib.scala
e20d62d6b832c23853e59adca64fcbe9660c4178 src/Tools/jEdit/src/jedit_main.scala
15ef283cd765fb1077e45023ec6d4550da813f0f src/Tools/jEdit/src/jedit_mouse_handler.scala
034f83130b28192928063fda68663a03e9b9dc04 src/Tools/jEdit/src/jedit_options.scala
46ed6b459d5fca239f769b5ed929264a00a9f732 src/Tools/jEdit/src/jedit_plugins.scala
7c733525bc1d91fab915d36c98bea025b764a221 src/Tools/jEdit/src/jedit_rendering.scala
4c654e3da8037e91e975b9f096fe0d9353f6fa5f src/Tools/jEdit/src/jedit_resources.scala
dbec6f05860f201865b47830cdc3e6eb732b2600 src/Tools/jEdit/src/jedit_session.scala
5f7f199220fd60703fc2305770a2d09d828613fa src/Tools/jEdit/src/jedit_spell_checker.scala
8c0680f4aadfd216da6b60ce9732f19fcfdaf180 src/Tools/jEdit/src/keymap_merge.scala
eea5af2c7594ce74f3c0995224866735ac4cd812 src/Tools/jEdit/src/main_plugin.scala
9a21f80194ab69e39bf3a1835f763f50ca33309c src/Tools/jEdit/src/monitor_dockable.scala
091736a4b8b33df3fcda0be9f7af43318bb435aa src/Tools/jEdit/src/output_area.scala
b3610ed1b5f64961fd05714e8a9cbe279c10c26e src/Tools/jEdit/src/output_dockable.scala
021e30a5ae3815fa0988e0642b767dba7508ffac src/Tools/jEdit/src/pide_docking_framework.scala
667da8505c579520b6abe46103d08a3bd9158ab1 src/Tools/jEdit/src/pretty_text_area.scala
c4b3e362fa94fb9398684be79bd237875535074a src/Tools/jEdit/src/pretty_tooltip.scala
a774585b5303da283f0c865e90426f396123b8e7 src/Tools/jEdit/src/process_indicator.scala
a6bacd0d3059186e5c019215de8e55def94010f7 src/Tools/jEdit/src/protocol_dockable.scala
061dbcd1f2e2d26024aa2f3719359cda5028c604 src/Tools/jEdit/src/query_dockable.scala
4c85d8e569e31e725021c6116093eaf2d4e33dea src/Tools/jEdit/src/raw_output_dockable.scala
da8757e9eb729bf802c3e0534417bf3664b6493e src/Tools/jEdit/src/rich_text_area.scala
8eb058d40a33a6e8d61cf053fd58502b68641eac src/Tools/jEdit/src/session_build.scala
e07131dd7f144b577c5f15f26abfcddee9120371 src/Tools/jEdit/src/simplifier_trace_dockable.scala
b82cf6a0cb47038e2d6de5d7a238ee77869d2b84 src/Tools/jEdit/src/simplifier_trace_window.scala
e6fef1064295162789742ee8b47fe79ae8e0850f src/Tools/jEdit/src/sledgehammer_dockable.scala
7116ab679ed9c91ea675eef1b8b3b0c9ef5d53b5 src/Tools/jEdit/src/state_dockable.scala
f3ba439ca9189ffa18060588e4953c0284538a9b src/Tools/jEdit/src/status_widget.scala
db05d5cf933b70e7020231a993edc6f3653f92df src/Tools/jEdit/src/symbols_dockable.scala
192af1512c1d08ea39b722c4a5124f257f1d5ee3 src/Tools/jEdit/src/syntax_style.scala
70cce78297b373586c5ea498d672267392ce8bc4 src/Tools/jEdit/src/syslog_dockable.scala
97e886ed4c058534d2ac008b1c19fdf2728d7290 src/Tools/jEdit/src/text_overview.scala
bccfe9daf8fa63af3c026ae8c7aa792e653051c9 src/Tools/jEdit/src/text_structure.scala
c1e1ca81919bf96ecd29cbe0af144ccb43a4d38d src/Tools/jEdit/src/theories_dockable.scala
bedd508481666758aaecd0a96f425d0b8f629992 src/Tools/jEdit/src/theories_status.scala
cc37ba4f954c5f0ae1912a8b773949bcba3c03ef src/Tools/jEdit/src/timing_dockable.scala
ac94f0a4a023ca39286dd8499984d6e6aca5349d src/Tools/jEdit/src/token_markup.scala
