151f4afc7315b8f9b0a171347de9e5cd133bbaa2 <meta_info>
ce319033851d05a1d3a799067cfa4d29d1221cdd env:ISABELLE_SCALA_JAR
86676bc7320e60ca8761dc2a021fe0003f71c725 src/channel.scala
f4c81e20d7d3775076992bf81ae8f24a5012ab1a src/dynamic_output.scala
b2aae0ebb50e264fe7d1cb60642fff72fdf3f878 src/language_server.scala
3e1321c916e5f42667c086c1fc46359992c5ff17 src/lsp.scala
f7ffe330e5fd0521cce4a68575340b2de08b2f47 src/mcp_main.scala
eada94e32551cc5b4b603671fff68db3c9637133 src/pretty_text_panel.scala
83b2e273c61bfc6fb05fba5a34135aac1af90864 src/preview_panel.scala
522e83910c7bf28c2e7caf4e8499bca3c52d9f0d src/state_panel.scala
5f3fd29886020d48805259d0bab6fe5cd43f186c src/vscode_model.scala
81c887be7d9bb511fffbc85b11b05aa0960c9662 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
