7ed1275d61139afeb07949839d81c70722a8e564 <meta_info>
5740daba7c31dcbe8358ebf2ba25e6f2febeb365 env:ISABELLE_SCALA_JAR
86676bc7320e60ca8761dc2a021fe0003f71c725 src/channel.scala
7f8fbd96713db883422a999d301730381872e8b1 src/debugger.scala
f4c81e20d7d3775076992bf81ae8f24a5012ab1a src/dynamic_output.scala
8dbc3b698c2a5b92ab43be686397bcce0228eb59 src/language_server.scala
66a3492b29485616b1931410250336e95a226e86 src/lsp.scala
f7ffe330e5fd0521cce4a68575340b2de08b2f47 src/mcp_main.scala
eada94e32551cc5b4b603671fff68db3c9637133 src/pretty_text_panel.scala
83b2e273c61bfc6fb05fba5a34135aac1af90864 src/preview_panel.scala
72518648e58b625515a210c7f74a242828ef1ecc src/query.scala
522e83910c7bf28c2e7caf4e8499bca3c52d9f0d src/state_panel.scala
5f3fd29886020d48805259d0bab6fe5cd43f186c src/vscode_model.scala
06cd95da553e441c8d151ae3248aa25bd27283d8 src/vscode_rendering.scala
536ca401a8a16caef0bceb71b2d8db2a2326d1a3 src/vscode_resources.scala
0f3c2721f8c96923065289d48827c846d9508be4 src/vscode_session.scala
267b23529fb9ce0f043e5d1147f8abe39561de37 src/vscode_sledgehammer.scala
f82d54128469d7a4d40d0eb2685951406e364284 src/vscode_spell_checker.scala
