isabelle_mcp/__init__.py,sha256=joAG1x5G3fRdgEfGkw1l8X0QtrymRGzjT_aMk-299JI,125
isabelle_mcp/component.py,sha256=NCVGSm3gWOMingdK8PikvHsDIBVqs4kUtQuxfMCUjt4,10253
isabelle_mcp/debugger.py,sha256=bP5rhxq6zAShu6wwbng2hJXV-txPHMOfq9FrcMSnAFQ,92302
isabelle_mcp/document_diff.py,sha256=J_FfQwIUuVXMIwYY8wJrJoFso1r64TGEnISyyZWnhvQ,4209
isabelle_mcp/evaluation.py,sha256=YTcVUKJ5OSa3kFK4AoCT8PZJwQ_e7x1ZhDvRSw63Yus,112978
isabelle_mcp/file_watcher.py,sha256=oh7JvAASS480WOoiosetIHZtwsj2Xf7TRNmetxHZeb0,10219
isabelle_mcp/install.py,sha256=iTPbPXZ21GF0vGlFjl-m6RMC0fEdWtuQth_uggwS1cs,11986
isabelle_mcp/instructions.py,sha256=UdONdWj9RU8zUblooaE-uKD0WVzLYROGuYJm5a5RrfQ,2263
isabelle_mcp/lsp_client.py,sha256=CXOGwGXvofozohZ8lf5LSY91iJqOQ69hmRQrxoJw7iE,91003
isabelle_mcp/models.py,sha256=iA9UIutEBJegxKYJZ7YCI0fcpxcFrJew1iQxJiUCUgA,14049
isabelle_mcp/processing.py,sha256=tu2tClFdCdoYghs_fzy8P0O1xfwLQqtvxh5iCCA9c54,23345
isabelle_mcp/py.typed,sha256=UlkhTBVJqiS1Epx-KILVobCtCGlhR6YKM79R8vO1HdU,61
isabelle_mcp/query.py,sha256=9OFu0vuNe9geF2-KSA6sfYKahVIGDlKtBuMuvd1i01Y,4563
isabelle_mcp/server.py,sha256=JuFzBt98PT2nS0j2whRm_Ei6-CnV2_XGSoc11iSGp74,50136
isabelle_mcp/unicode_guard.py,sha256=MrZYYDKUu6lZEplPy9yURwZzCndgv5MuiCNuqjOZXhw,9506
isabelle_mcp/scala/Isabelle2025-2/ML/mcp_prelude.ML,sha256=E3VpXGlDOWDb3sCpZ8r0HFp0GSr1mlEYkg8v-YQZUoo,31379
isabelle_mcp/scala/Isabelle2025-2/docs/CANCELLATION.md,sha256=xZuh9vsPGqcFzMrRVaTL7dZG_Tn2oly3W7jPirxv6Gg,27067
isabelle_mcp/scala/Isabelle2025-2/etc/build.props,sha256=AtR35X0MNh7zVk-oK-i2K1BfjMDLjm6ynBt2cf2PisE,607
isabelle_mcp/scala/Isabelle2025-2/etc/settings,sha256=Pe25NTJB8LN1EAwrfHdFnfy0tokM9qlH_ixf7aC0dBk,138
isabelle_mcp/scala/Isabelle2025-2/lib/isabelle_mcp.jar,sha256=1WcUhPqFibdpXbAw40i7vP7_mDzNf9LYFERnJ4gpkBY,728865
isabelle_mcp/scala/Isabelle2025-2/src/channel.scala,sha256=p5XuGKEiPxDe6Mnho5XuLPMRl72Nc1Zjt6L2H2AeTvc,3307
isabelle_mcp/scala/Isabelle2025-2/src/debugger.scala,sha256=NdxKVEVQm5dfYNfuGwWmjaVTZrBzsirtSn0t2tY-SAg,22841
isabelle_mcp/scala/Isabelle2025-2/src/dynamic_output.scala,sha256=fYbGv6j2o-b3bAZn8jT-dmziV6nB2Loa0zT3HnedfpU,1717
isabelle_mcp/scala/Isabelle2025-2/src/language_server.scala,sha256=K8HOaF5oN4wEFk6DYdmORVWZfoY90Xn0dIL099h1mrM,63818
isabelle_mcp/scala/Isabelle2025-2/src/lsp.scala,sha256=gx-I0pkf9LmDvVvRnMwoIi1pGZ_KcJjKfRJx4DfB_pY,38671
isabelle_mcp/scala/Isabelle2025-2/src/mcp_main.scala,sha256=zXmHrkHyZm32V55ystZzZOY8_YxlhkMV75C-tBdrEK0,4133
isabelle_mcp/scala/Isabelle2025-2/src/pretty_text_panel.scala,sha256=c48en3N1TaLrLQLyoRJOvEr8SdJ4KwjxjBzqEahRm44,3076
isabelle_mcp/scala/Isabelle2025-2/src/preview_panel.scala,sha256=x-O723EP_1tOUF18m6eELP7U67biRyWrjHs0hSp8hdU,1272
isabelle_mcp/scala/Isabelle2025-2/src/query.scala,sha256=r1kLcq-2HJvVtQ2zSpPin8yH_oz2Q11F59ix_8i98Ds,3978
isabelle_mcp/scala/Isabelle2025-2/src/state_panel.scala,sha256=b9Q5-ZN0jQEohaGoYRGD6STZQbPbY7bRAUMfIQ-JUAg,3501
isabelle_mcp/scala/Isabelle2025-2/src/vscode_model.scala,sha256=58QAAwpaW1hEJcU4VCXoAxUdp4soXsL4BMuuj9KJPFs,9433
isabelle_mcp/scala/Isabelle2025-2/src/vscode_rendering.scala,sha256=VCPA_9KndBW7N1M0G19Eob3QIo7UH_71nYkOgdC11DI,15871
isabelle_mcp/scala/Isabelle2025-2/src/vscode_resources.scala,sha256=_rNpqmR4VmqyFyHnbU6WMhx3oLs_vzfjWNPD_cxqVqE,40798
isabelle_mcp/scala/Isabelle2025-2/src/vscode_session.scala,sha256=ZD2O-7ZkxaEQqOhehmPoucG_LYKNf5cTNnYX2hFEwmU,390
isabelle_mcp/scala/Isabelle2025-2/src/vscode_sledgehammer.scala,sha256=caeXeQpnSxdVcM2mlUacEZ79iDV7YuhXoNb6D7QgFjI,1901
isabelle_mcp/scala/Isabelle2025-2/src/vscode_spell_checker.scala,sha256=D1jqJO_mTa0tgL__AuUmCxSpUE0lbBLDIHXv7I678P4,2260
isabelle_mcp/skills/isabelle-command-line/SKILL.md,sha256=BlnLy-81d-dmViNMj5k-SBRwDhySVKQlBM_7GnXLULY,2270
isabelle_mcp/tools/__init__.py,sha256=SMieFtgDL4I3-QIztGKgeKCrZZcS2MpAbm2hmkWjLOg,719
isabelle_mcp/tools/command_output.py,sha256=pNtqrqbgHx3pLnWAHeNNOPrhGNgP2255lKkxCLr-t5M,3257
isabelle_mcp/tools/command_status.py,sha256=XImMge8SMXuV8ir88mGRLluqgr1LS77HWjH7qCPnRZ0,8415
isabelle_mcp/tools/definition.py,sha256=-9zZW-IoC1j0qQ4DQRWADJiaxFzpjtC-BXxA9vupryc,3471
isabelle_mcp/tools/find_theorems.py,sha256=BnENm-3Sr0hWH12dpv2k9kgkNF0UZhxydlFWnf0mAVc,8969
isabelle_mcp/tools/goal.py,sha256=g61nHc5U29E8---Esl_W2EP2VA8Nl9iV9b3naGSp_p8,2863
isabelle_mcp/tools/hover.py,sha256=B3F570Ri37lVqm5RPHyP-hzoX6rrakFSYLR9sFJk7Qg,4695
isabelle_mcp/tools/local_occurrences.py,sha256=rlozCYHbyzaRVYnogZxV0MImEbrojPgEik5QmiXs61A,3619
isabelle_mcp/tools/session.py,sha256=2RK5L71dUQGYwmaWQpsEqdqyN_wM-Zb2nIgaHCbXcqA,371
isabelle_mcp/utils/__init__.py,sha256=dQcymtzxvyWwkx5RS5WhCUWj56Yj_Uth8LSKzbwzjKw,1710
isabelle_mcp/utils/core.py,sha256=L4Uk0hEwBohbSnIfy7D6EzelOuKk7lw-B5NbsvGSjyE,7682
isabelle_mcp/utils/formatters.py,sha256=LjTMeVAMawF_HZHRSsF5S6M_jFjf8BlyXSmJiIrmmJg,14454
isabelle_mcp/utils/isabelle_symbols.py,sha256=8XhIO7cfAfgMdNeFXe1h7sBjEB5zqki1SFgMEIiC9gA,8436
isabelle_mcp/utils/isabelle_tokens.py,sha256=rCzvPJAj6TqSC3wn6QYnhNySDwQwGC2RiCVXC-PuE7Q,9725
isabelle_mcp-0.6.0.dist-info/licenses/LICENSE,sha256=IOUP56rj5WN46_BBfZ3pBPVaDmHk3zFTM-YypNNVXZU,26419
isabelle_mcp-0.6.0.dist-info/METADATA,sha256=Xpz31pcfX2ZHX5Q01iFkVXIm6lauxrFUY-OOTsGmsRQ,8770
isabelle_mcp-0.6.0.dist-info/WHEEL,sha256=YVMoNqKzERt-wjUZwJ33xBGAwnFl-4cqbYkTtWa4itE,91
isabelle_mcp-0.6.0.dist-info/entry_points.txt,sha256=6MBdeddr3rJojaWMgpHPv7BJF2yu8-F0Mavaed9bi5g,58
isabelle_mcp-0.6.0.dist-info/top_level.txt,sha256=g0Z-UrVeVr_ayp5mqcYVjg6bnsdFDVVrGC-tes8QFdY,13
isabelle_mcp-0.6.0.dist-info/RECORD,,
