7ed1275d61139afeb07949839d81c70722a8e564 <meta_info>
3a9f32e67a694728da6417695990be3c9c417c38 env:ISABELLE_SCALA_JAR
6318a200e4b9558cf4423f21bfd455894061435e src/channel.scala
7be861c4b2ded4901cd0876ee3f495161fabfc1c src/debugger.scala
3a35911fe7e0fe11978686c0764ffa179fd59639 src/dynamic_output.scala
0c92b47ebf97d972ff84d1ac72ca249c79ab2953 src/language_server.scala
eccb807bbfaac707dd3c7c358b1ef08a612c514d src/lsp.scala
f17e03db1181f806dd58bb0a3adcfd8225ded8cb src/mcp_main.scala
ddc231bf08dc341b521ded45bc83557de89da936 src/pretty_text_panel.scala
83b2e273c61bfc6fb05fba5a34135aac1af90864 src/preview_panel.scala
4711f0bfbab7a6cc86f191d1f4ad3c3af8db53bd src/query.scala
cdafce9dc503458ef7dd836c4e28674741e5f3b4 src/state_panel.scala
1b8f76665b00458e11b42db639ab142eab1003a9 src/vscode_model.scala
2a40ac508a73cc5445777de078efb6fca1f79e06 src/vscode_rendering.scala
12363e92a22e00935d415737ea88b4d94e8bf7fa src/vscode_resources.scala
0f929fb630880fb5a035a86508a80fdeed387883 src/vscode_session.scala
ec3aa0f31ed87001c86beb26dc7566e101611d26 src/vscode_sledgehammer.scala
f82d54128469d7a4d40d0eb2685951406e364284 src/vscode_spell_checker.scala
