7ed1275d61139afeb07949839d81c70722a8e564 <meta_info>
55ff48ba775585743404662da5505431207da4d3 env:ISABELLE_SCALA_JAR
86676bc7320e60ca8761dc2a021fe0003f71c725 src/channel.scala
f98f600544fecabfd8f8717227afd13383e8f8d9 src/debugger.scala
f4c81e20d7d3775076992bf81ae8f24a5012ab1a src/dynamic_output.scala
7c106225790ab30b47428b69f27e4c671372be0f src/language_server.scala
82a9418eaaddbf7f8a59d3bc803e6f0ff8016519 src/lsp.scala
a40f745a21d806d8e0d7727b56dda8aa7ae5b9ca src/mcp_main.scala
eada94e32551cc5b4b603671fff68db3c9637133 src/pretty_text_panel.scala
83b2e273c61bfc6fb05fba5a34135aac1af90864 src/preview_panel.scala
72518648e58b625515a210c7f74a242828ef1ecc src/query.scala
522e83910c7bf28c2e7caf4e8499bca3c52d9f0d src/state_panel.scala
8db2345a9aaeaf6a26f577d731db5b57253e36f6 src/vscode_model.scala
4feb24160a575fefa4b02952e662950a01de9d76 src/vscode_rendering.scala
31cdfd981b3d0dbd7bb5a2f6241c3983b15fd380 src/vscode_resources.scala
0f3c2721f8c96923065289d48827c846d9508be4 src/vscode_session.scala
267b23529fb9ce0f043e5d1147f8abe39561de37 src/vscode_sledgehammer.scala
f82d54128469d7a4d40d0eb2685951406e364284 src/vscode_spell_checker.scala
