1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/lib/classes/Pure.shasum	Sat Apr 17 18:44:27 2021 +0200
     1.3 @@ -0,0 +1,210 @@
     1.4 +39865df80c81360ea1c044ff6ae544d2a8abfa46 *lib/classes/Pure.jar
     1.5 +c66b5b0d674563e0ea2d806a8cd9d211539fa9c0 *src/Tools/isac/BridgeJEdit/isac.scala
     1.6 +0acc770f3ef02a6d8939b0035a195ec07bb95adc *src/HOL/SPARK/Tools/spark.scala
     1.7 +327edf1db1366c6a2f14529dae86f6fcddf6caea *src/HOL/Tools/Nitpick/kodkod.scala
     1.8 +8244370850f0e6bab1110fffba646438e318eb4b *src/Pure/Admin/afp.scala
     1.9 +56c136f9ace2f813db62cd94ebe9071f9a37fb65 *src/Pure/Admin/build_csdp.scala
    1.10 +1d82c705f3703021b0ece6ebd9c3b9a4415ffd41 *src/Pure/Admin/build_cygwin.scala
    1.11 +97f539730a95014ce2ff49dd2a31f803e3b3e0f4 *src/Pure/Admin/build_doc.scala
    1.12 +3b52107f7008079ebc796e99d5ee4fd266bf42fe *src/Pure/Admin/build_e.scala
    1.13 +285945bc64a95b61d54bea5d776b17c8b6992ae2 *src/Pure/Admin/build_fonts.scala
    1.14 +fb7dd989d5163c7e850ae7c3b8c9b37e1d7c465a *src/Pure/Admin/build_history.scala
    1.15 +961bb42a1f93dd449d398a4b040afdfe712d57da *src/Pure/Admin/build_jdk.scala
    1.16 +196b24cc55fb9cb22bd7a5fac2a33e189f6a4c74 *src/Pure/Admin/build_log.scala
    1.17 +c6f8e613ff9eccad01867b81ccfd4ae1c5d5e624 *src/Pure/Admin/build_polyml.scala
    1.18 +8d4e3d91e2f27198eb4eb41dd3bf4c18b6fb0d9b *src/Pure/Admin/build_release.scala
    1.19 +c48f96f9ce201c6f41f684de1f7f6da1820bbd98 *src/Pure/Admin/build_spass.scala
    1.20 +6ba75e0b17e750a93c5403563938bf1ae1dc089e *src/Pure/Admin/build_sqlite.scala
    1.21 +c163a6f3d378c5fbf23a7ae482a1cd93f1654fcb *src/Pure/Admin/build_status.scala
    1.22 +06b4ec4502f80349e0fbb1ff45d939122893c966 *src/Pure/Admin/build_vampire.scala
    1.23 +7efd504589ec29875a0043cf8011ddf60c3dc0a0 *src/Pure/Admin/build_verit.scala
    1.24 +cd544c1f9b2a4cddec094265e16d5e9cae9f93d5 *src/Pure/Admin/build_zipperposition.scala
    1.25 +50b1c50622544476ba74fb86081d2022c60e5d1f *src/Pure/Admin/check_sources.scala
    1.26 +938ba4da49162cd732d4da1b416abfb31e0c692b *src/Pure/Admin/ci_profile.scala
    1.27 +ef332e2889fe7d3419983a06f1a867cf63915715 *src/Pure/Admin/components.scala
    1.28 +e2c5db7615af4384f0c59d456b0f7d96f58c33aa *src/Pure/Admin/isabelle_cronjob.scala
    1.29 +f2a5e5ad86cfc9831e47c3f3e99ba6ea56062be7 *src/Pure/Admin/isabelle_devel.scala
    1.30 +197ef972520688c3da2f01cf50de5892213d7120 *src/Pure/Admin/jenkins.scala
    1.31 +3436ed7fdd9c773b5900d430fe06634e02b2e5e0 *src/Pure/Admin/other_isabelle.scala
    1.32 +01186a16b7b40972ceacaff074932e1fd91240d2 *src/Pure/Concurrent/consumer_thread.scala
    1.33 +00bee9173f95603ad0c72e29ac2bc40af94f65f0 *src/Pure/Concurrent/counter.scala
    1.34 +60a42f79bfe93a2a2fa3473651ebb020f0c44cb4 *src/Pure/Concurrent/delay.scala
    1.35 +6fdb7956df3b9c2462ce024641a4c86fb95ebf82 *src/Pure/Concurrent/event_timer.scala
    1.36 +a5df28c8b4b6c26a8d7b9526b1237b41c2b4f6f8 *src/Pure/Concurrent/future.scala
    1.37 +257a756f75dd0e14a325bbcc86a3b3454084325c *src/Pure/Concurrent/isabelle_thread.scala
    1.38 +fd8b0a95a7a75993be748cb698c6eb87cdb91528 *src/Pure/Concurrent/mailbox.scala
    1.39 +fca02ff01e7ae8f8f5cef4d06a57e54b1b76a72d *src/Pure/Concurrent/par_list.scala
    1.40 +ce1e45cdbc3da95b4756d52b599e5a92c9f47806 *src/Pure/Concurrent/synchronized.scala
    1.41 +1b7e9ee5e4ca9b0a908f5ab93f9e39ee73052902 *src/Pure/GUI/color_value.scala
    1.42 +01aa7fdbfe34fe8e6a3eb25d6b82e5485c1a9fac *src/Pure/GUI/desktop_app.scala
    1.43 +1d34f6a70a58fc6bacf40087192813c3f6248ae9 *src/Pure/GUI/gui.scala
    1.44 +6ecaf3ab41e0a439a64ce0f0994bbed8e224ba79 *src/Pure/GUI/gui_thread.scala
    1.45 +a81efbea836cdeea5863a414f7dbe435e42e7c15 *src/Pure/GUI/popup.scala
    1.46 +3398fa8e15eaae8c7f059cf7108191da1dc82ca6 *src/Pure/GUI/wrap_panel.scala
    1.47 +ea3831e4ea5dd77f83e0a3ae9ba023b71ae46ea8 *src/Pure/General/antiquote.scala
    1.48 +d5b6af802813cedc70a992a3e67ce30a4f4cb9c9 *src/Pure/General/bytes.scala
    1.49 +dab4ffa85391bbced84ac2d48e46fb7b120915bd *src/Pure/General/cache.scala
    1.50 +3c846495a662017333adcc7705db4a65e3a41102 *src/Pure/General/codepoint.scala
    1.51 +0c418bdc00f3142db68ff3ebca441aa75ad2ae7b *src/Pure/General/comment.scala
    1.52 +b0b69b98476531115c9c5f9b75717e189a7ed356 *src/Pure/General/completion.scala
    1.53 +726cba4483fb3498abeb558bc2b471e570f016c5 *src/Pure/General/csv.scala
    1.54 +c30d73352463e8c034d9bca968f4bacd5e98be98 *src/Pure/General/date.scala
    1.55 +10f2a938c9ceb47ed0afa7b2888e6d94d1baee28 *src/Pure/General/exn.scala
    1.56 +a8dc1b132cf9c3bc1cd38541f533b92145b1a191 *src/Pure/General/file.scala
    1.57 +439955d23442e2473ab21306d879a2c137b11a7f *src/Pure/General/file_watcher.scala
    1.58 +5967a3208415e9ecf0d306e325d95ebad6f07c5e *src/Pure/General/graph.scala
    1.59 +fa16f09554928e8131c9a46d3fb4b6bcf9c87750 *src/Pure/General/graph_display.scala
    1.60 +b046c743a62ba9bb9fb1678fa8a5d632abb92d82 *src/Pure/General/graphics_file.scala
    1.61 +446ac35ff81bd5f40ca2a9e15385501a682ae45c *src/Pure/General/http.scala
    1.62 +d906c0c8cf77b6f8f9c99b1b566d3ecc426e953b *src/Pure/General/json.scala
    1.63 +21f81d163a2b9c0d4126bd8dbbf02cc963907bf4 *src/Pure/General/linear_set.scala
    1.64 +389e872ea5aa59c9b7daa75fc3ff8eddb521ecd8 *src/Pure/General/logger.scala
    1.65 +bc57756efe8b072bebe177c0b24f6d6c11aecda2 *src/Pure/General/long_name.scala
    1.66 +223dd87695818879eba54eeeb1cf27315de76d67 *src/Pure/General/mailman.scala
    1.67 +57d0aef687695db594303a6369edad3bd65ceaaa *src/Pure/General/mercurial.scala
    1.68 +ab55aff93f6b02e6deca6b96cc89ce534fbd0dbe *src/Pure/General/multi_map.scala
    1.69 +14fa86f0b06d0bee8f336687ca654b969e88bd94 *src/Pure/General/output.scala
    1.70 +d702b8989ca42ad561cf79093feb6f419eb50929 *src/Pure/General/path.scala
    1.71 +abcbe13fd97d91c89bbc2473ff04cb40bc1686eb *src/Pure/General/position.scala
    1.72 +d4614c98f82f09e2d5ce64ac5e896d68211f9a1c *src/Pure/General/pretty.scala
    1.73 +20fa3c0721ecdd8320fa0d201875235e515edff9 *src/Pure/General/properties.scala
    1.74 +18f0ff99f24005f6defb88dcb15b822ccc621554 *src/Pure/General/rdf.scala
    1.75 +c03a6756f991121f683690665168a992a432494a *src/Pure/General/scan.scala
    1.76 +9f296dc1949cb5710cc099c2e8be2797fb3e692d *src/Pure/General/sha1.scala
    1.77 +5bb8cd1a22d9be5d9be59172802a96d6277232b8 *src/Pure/General/sql.scala
    1.78 +49bb684131e3f61275a4b8c61b1bb188af03610e *src/Pure/General/ssh.scala
    1.79 +28a29fcb62cf0293b37ed43dee0c4ae18fa3532d *src/Pure/General/symbol.scala
    1.80 +f98df90213acf6cb9b78218172e19256a88e614a *src/Pure/General/time.scala
    1.81 +70b2e62fd9eb8a9ef3b00f30aaee0c1cd2d3912c *src/Pure/General/timing.scala
    1.82 +5ce016cb1f7d3be5a2b86a3800130b0922adce2f *src/Pure/General/untyped.scala
    1.83 +ac83f1aed728f681a9745a1d397b05206646d824 *src/Pure/General/url.scala
    1.84 +59afdf6255096a597f260b2ea52720f6270f66bf *src/Pure/General/utf8.scala
    1.85 +fa1616a8e74dba7318a7ede795075f7bd3e94b85 *src/Pure/General/uuid.scala
    1.86 +f4b9809c8e748b2718f78184724329ddbb479d6e *src/Pure/General/value.scala
    1.87 +7607d27e829e828f72e473af8c5635899980eeec *src/Pure/General/word.scala
    1.88 +b9cde45423f55366f0dceb92d3e54bce76b88e33 *src/Pure/General/xz.scala
    1.89 +854cb8e18f3954d6d22c17c271c307ec2a4fc8a6 *src/Pure/Isar/document_structure.scala
    1.90 +a3b54a0563a8e0bb7852e62acbc6de43a18b534a *src/Pure/Isar/keyword.scala
    1.91 +b8dc0ae8033f66ba353848a85fdeea2b13c42314 *src/Pure/Isar/line_structure.scala
    1.92 +e480eb4716fec6ae3e7ab9e6ac3c961d7b630eda *src/Pure/Isar/outer_syntax.scala
    1.93 +78f23da473ba728cb676a06e5545867501748137 *src/Pure/Isar/parse.scala
    1.94 +7ea6adfa0beddeb78d21b46fdbd6a7a817b0b372 *src/Pure/Isar/token.scala
    1.95 +a70b18d25bc9a0191a77175ea925c77f9ebc970d *src/Pure/ML/ml_console.scala
    1.96 +40a2659c1ddeffc80835112c100cc73063f7b802 *src/Pure/ML/ml_lex.scala
    1.97 +2d0247af09096af3d3e10c31137a87fa2a783d0c *src/Pure/ML/ml_process.scala
    1.98 +82ae99276500cc984c9b90329cefe1cec8f82d91 *src/Pure/ML/ml_statistics.scala
    1.99 +9c6cc231b3befe073fcc613e0d6a24c1ae74d80c *src/Pure/ML/ml_syntax.scala
   1.100 +e8810ccde5f4297d830ec31dff644709c3f7d3ad *src/Pure/PIDE/byte_message.scala
   1.101 +4a3d2d6967cdc2498f0a33e5b93935d62411f200 *src/Pure/PIDE/command.scala
   1.102 +138e0f0c9ce97f9d7bb87336a32ab53519d38b1a *src/Pure/PIDE/command_span.scala
   1.103 +025852481853f8c76f95f92c87d7755e3cc25ccb *src/Pure/PIDE/document.scala
   1.104 +2ef037590a2cd4ca488a7cdced61bc8958f915fa *src/Pure/PIDE/document_id.scala
   1.105 +0f8c4fe0ae2428e2658ab5e627d877670135aa95 *src/Pure/PIDE/document_status.scala
   1.106 +e2fc689cc064fabfaa02f43bc81567c7d5e94f60 *src/Pure/PIDE/editor.scala
   1.107 +11e6f9aded47c652355a8a423cb5c14985d0a488 *src/Pure/PIDE/headless.scala
   1.108 +5a05f5ca4ed18bc40e9e72b719483609013961ae *src/Pure/PIDE/line.scala
   1.109 +ae28826f6fc94097c630d9a8b63496ee8960f860 *src/Pure/PIDE/markup.scala
   1.110 +e75392437b67f71def02176d3ec043bd642ba29d *src/Pure/PIDE/markup_tree.scala
   1.111 +00ba6c5c7c25b79361ecff5005c7cc78738b2a96 *src/Pure/PIDE/protocol.scala
   1.112 +16dec272d9bf576ed416752337fbc830e5181188 *src/Pure/PIDE/protocol_handlers.scala
   1.113 +363451d298473cac75fcc3a881c4ec330f1711fb *src/Pure/PIDE/protocol_message.scala
   1.114 +6972c9a1e49dc3a16d6b2878852f577023f0cd10 *src/Pure/PIDE/prover.scala
   1.115 +7792c89ff638c990c7ee34f96301e9363d96693a *src/Pure/PIDE/query_operation.scala
   1.116 +4b41f1b1b532be235e0d934220593e056805e933 *src/Pure/PIDE/rendering.scala
   1.117 +2fcfa5eec690d7e6a0ab55b650f1ac87c6cc7c85 *src/Pure/PIDE/resources.scala
   1.118 +981305e43022ddf411b4285c3fea5ad13b8fdbe6 *src/Pure/PIDE/session.scala
   1.119 +74d199d6222fee48fa7da41c7455e3e6ebf01060 *src/Pure/PIDE/text.scala
   1.120 +0c348947c5bc39c8ba8b892f5dac7e5f53c470bc *src/Pure/PIDE/xml.scala
   1.121 +c69ec123c8e350bcea8317dd101262445a452026 *src/Pure/PIDE/yxml.scala
   1.122 +1f70f9ab35cdb6d60019f455c87eee93fa0533dd *src/Pure/ROOT.scala
   1.123 +6c83b8dc3c0ab5847967734dd2d5e9dcd1d8e397 *src/Pure/System/bash.scala
   1.124 +95308e7232d72618ccf6b196a2446d4fd3efc02e *src/Pure/System/command_line.scala
   1.125 +11979c65920b4da6b2758b242f017037b2756837 *src/Pure/System/cygwin.scala
   1.126 +7a9bc1b8fcde35a04fc74e4785fcd5c8cff68c1b *src/Pure/System/distribution.scala
   1.127 +e418d73c6d96694737de4707d8389e6812c8d006 *src/Pure/System/executable.scala
   1.128 +b7633065adaa3fec6f641988f8476912d3d0bd23 *src/Pure/System/getopts.scala
   1.129 +806e88c4b78cfc465d1d35f2c39a6f4703bee714 *src/Pure/System/isabelle_charset.scala
   1.130 +1c9023bb30b043a88eeb4d01c0e096764e0df7c1 *src/Pure/System/isabelle_fonts.scala
   1.131 +d50e59d46401130f7cc3ef34c0107cae98d9da84 *src/Pure/System/isabelle_platform.scala
   1.132 +cdcfc59d7fe308001a570bfea5fbcbe66b459985 *src/Pure/System/isabelle_process.scala
   1.133 +5da409d9515c0063f1b97bf5fcb93eca3eb86135 *src/Pure/System/isabelle_system.scala
   1.134 +ec5906fad1548358216c31392bce767ce9312531 *src/Pure/System/isabelle_tool.scala
   1.135 +28f89fa4b778587fce42e56652756072f3683087 *src/Pure/System/java_statistics.scala
   1.136 +f85e2c222ce37ac449250aad96534f1c2782ff19 *src/Pure/System/linux.scala
   1.137 +5a5db8ffce99859496c79c93bb263dbb5b4bce93 *src/Pure/System/mingw.scala
   1.138 +8ba0d5c04845365a19c8f4f2929cf86580b59c8d *src/Pure/System/numa.scala
   1.139 +4908e990a94bfc19c5c951211c1f421165580bf8 *src/Pure/System/options.scala
   1.140 +377f0fde514b925d995870da14defa361c190858 *src/Pure/System/platform.scala
   1.141 +b7dec4c093eab3b6c448b3f61cd6c7b47d2981f5 *src/Pure/System/posix_interrupt.scala
   1.142 +2af9e8ee623775b7ac2d334dc935c3c1e26c028e *src/Pure/System/process_result.scala
   1.143 +33f71425a8aecefc841ee500cc1ae20b8964fb60 *src/Pure/System/progress.scala
   1.144 +4afc6a80548ae475e8f33ee02468e1e61016bec0 *src/Pure/System/scala.scala
   1.145 +9133695d14cc18c5250c9d8d1ac5f59ef6bc5cec *src/Pure/System/system_channel.scala
   1.146 +d2a3a8baee2ffee23d00228e36d1649b6d5f1c80 *src/Pure/System/tty_loop.scala
   1.147 +0a96c0489b657a05b0de3f25295299d46b40a0c2 *src/Pure/Thy/bibtex.scala
   1.148 +028f0450e77ebddb04fc6ca54a91fcd5a9fd55e5 *src/Pure/Thy/export.scala
   1.149 +cb01a73bee061162eed80c9d33b4779bce4e9b0c *src/Pure/Thy/export_theory.scala
   1.150 +2af42977c4006837ccf40f342cbc8e27aefec4be *src/Pure/Thy/file_format.scala
   1.151 +2c42b143ed4b9976758e1d9a187b5b0678b536bb *src/Pure/Thy/html.scala
   1.152 +0826849d2613a7cc5ac36577f988a7dda6712447 *src/Pure/Thy/latex.scala
   1.153 +600fa114f1c6f0ebdfb4e61972c49ae9c0fc3e1a *src/Pure/Thy/presentation.scala
   1.154 +2c9a35a6ecf229bffd5b85fe5d90cb42c0114436 *src/Pure/Thy/sessions.scala
   1.155 +44b2938f52816d3433648339cbc66e2c61bd94e4 *src/Pure/Thy/thy_element.scala
   1.156 +0362b5045fef45536cdca01d56ac81fc4a881d3e *src/Pure/Thy/thy_header.scala
   1.157 +ee34df4e2c91cdd4c9df97f08c142096fbb9c4fb *src/Pure/Thy/thy_syntax.scala
   1.158 +5faec9e7117cbd7128199c88d2298d89b6c8b826 *src/Pure/Tools/build.scala
   1.159 +517d8be3b428a3e1d8af2c8247dd69d493801674 *src/Pure/Tools/build_docker.scala
   1.160 +67930f3181a2795ae074b23dd8978e91e85fce7e *src/Pure/Tools/build_job.scala
   1.161 +a292973fe4762fe78304ed150484d0741f15633e *src/Pure/Tools/check_keywords.scala
   1.162 +301f765160920c9cbf3bc927314e3103acb3b2b0 *src/Pure/Tools/debugger.scala
   1.163 +d647c65469ae95b65d899b5221779f7a52ab9f9e *src/Pure/Tools/doc.scala
   1.164 +ea50c732b5127f48ecb78f312fef317831eeb7d8 *src/Pure/Tools/dump.scala
   1.165 +df8297de38500199f8874a8155a69d665e00fb7a *src/Pure/Tools/fontforge.scala
   1.166 +903119bf0e7c6897b04382f25d586f0ea99e3331 *src/Pure/Tools/java_monitor.scala
   1.167 +c82b8a733bf202e3705478c1aebc0519208f4286 *src/Pure/Tools/main.scala
   1.168 +551b2bbba773871d0443774e3fd80aa9b26bea0f *src/Pure/Tools/mkroot.scala
   1.169 +0aa565e96e81345c846518b474809e2c785903ae *src/Pure/Tools/phabricator.scala
   1.170 +a2aeed550512dc3d56598116d00a6fa14a19bda1 *src/Pure/Tools/print_operation.scala
   1.171 +4b90ee7dbafb84bc435f2534416cec0b98276dc0 *src/Pure/Tools/profiling_report.scala
   1.172 +0cf5eb0e22cf16ee5ee335aee236579003c80866 *src/Pure/Tools/scala_project.scala
   1.173 +d8aae226297845960c6143189aad7771eb2f637b *src/Pure/Tools/server.scala
   1.174 +32f894dbf353fb6044b3deeb77a6beeb2fdc61ed *src/Pure/Tools/server_commands.scala
   1.175 +4d5511a093aa4e7b4aa5cd5e0f09d4280b0aed00 *src/Pure/Tools/simplifier_trace.scala
   1.176 +6982d3c63380e9b9e6de5c076438b5b2c6653997 *src/Pure/Tools/spell_checker.scala
   1.177 +d8a13001cd043e0167643a5c9f7704f228a8aca7 *src/Pure/Tools/task_statistics.scala
   1.178 +1b71f72d393bc66a6a90165d42ab499df4b3582e *src/Pure/Tools/update.scala
   1.179 +77ff91a943fb94e048b13baca84150639ba101cc *src/Pure/Tools/update_cartouches.scala
   1.180 +bbf45ac66b847de80229a7381d38fed9795035c9 *src/Pure/Tools/update_comments.scala
   1.181 +05a0e7a00602cb2ba827448add49f800390b2fa0 *src/Pure/Tools/update_header.scala
   1.182 +a4d87c924ffc4fe0eced34faadfb5e7e0c25f5ff *src/Pure/Tools/update_then.scala
   1.183 +636ec3b539c7fa2b2004ad0f1027e428c02ac15b *src/Pure/Tools/update_theorems.scala
   1.184 +1235b4c1937087373b6d4b9c28bf832489699a25 *src/Pure/library.scala
   1.185 +acffd01b2f20fc6859b964bae109f6f9aadb6c98 *src/Pure/pure_thy.scala
   1.186 +af051eabef80d12b72b9a0b24e8b569b37be98f7 *src/Pure/term.scala
   1.187 +77685028ee221ec7629d71e18e3d0c144b0a84b8 *src/Pure/term_xml.scala
   1.188 +7b2e6c9be04fe9716f84d69d36cc8161f6c0d3a1 *src/Pure/thm_name.scala
   1.189 +c80c70637ccd68d2f28b73e436bc39053b6c94fa *src/Tools/Graphview/graph_file.scala
   1.190 +f2f6da6d0a4b7fa8c6de05feb9f0127c2548f0c5 *src/Tools/Graphview/graph_panel.scala
   1.191 +b1330704034ab8a88c660d3b0bd695725fec8197 *src/Tools/Graphview/graphview.scala
   1.192 +c5b32a70ec80cd57f367e6794cbe9331429701c2 *src/Tools/Graphview/layout.scala
   1.193 +18850a3a244dcd9317e6b37f0fbb2ae7099b55d4 *src/Tools/Graphview/main_panel.scala
   1.194 +90d8fb0970ad121cb551ad8dae0347a31205854b *src/Tools/Graphview/metrics.scala
   1.195 +e96e677d6aa88a5ea46e1ee8e9ce982fd0e33847 *src/Tools/Graphview/model.scala
   1.196 +8f0f0511ba85b70d0f8f5e9ceca4a5193b93116a *src/Tools/Graphview/mutator.scala
   1.197 +2f02a3f8148f988c91304bc967e2ca7aec4c1914 *src/Tools/Graphview/mutator_dialog.scala
   1.198 +225f882e71426c2a92549582c3b038924339ec98 *src/Tools/Graphview/mutator_event.scala
   1.199 +63030582d332055bc23d50575f232a80badeef12 *src/Tools/Graphview/popups.scala
   1.200 +03660afcd48841ef37f5c983f9f752ba627535f8 *src/Tools/Graphview/shapes.scala
   1.201 +9f85f8d8f680d5af8321abfd6ff6c651af8df6e6 *src/Tools/Graphview/tree_panel.scala
   1.202 +9b6db6a985c2597863a2c04987a3c015a14d8e94 *src/Tools/VSCode/src/build_vscode.scala
   1.203 +5d1e98c3688437391b4ddcaa5fa7e9af4bd51057 *src/Tools/VSCode/src/channel.scala
   1.204 +940a81d7f23339481eafb101b4680e8e77ebb4ec *src/Tools/VSCode/src/dynamic_output.scala
   1.205 +86169646020a98655f06cd4de699063b85ebf874 *src/Tools/VSCode/src/language_server.scala
   1.206 +3c859d11d3fd1571bea5739cf3463ba38d57a024 *src/Tools/VSCode/src/lsp.scala
   1.207 +604d29066cf39f23ed58791694205566ec1bcf63 *src/Tools/VSCode/src/preview_panel.scala
   1.208 +70a1cdc1e0ce23dc1208d48c232275920560cc90 *src/Tools/VSCode/src/state_panel.scala
   1.209 +66a9dd452d9b3faa53455c0e60f8988c2e1d2b99 *src/Tools/VSCode/src/textmate_grammar.scala
   1.210 +ec761bf9b37d4a4b4abb3154b1fc184257ca1537 *src/Tools/VSCode/src/vscode_model.scala
   1.211 +477b2f6949f3ac01ecd95ebd556257c11a5c5df7 *src/Tools/VSCode/src/vscode_rendering.scala
   1.212 +25aa8c38cb57af2019755b4dddeffa69f7fd62da *src/Tools/VSCode/src/vscode_resources.scala
   1.213 +0024c0aa3f989d91a822d49827cda6fcd2c79166 *src/Tools/VSCode/src/vscode_spell_checker.scala