isabelle_mcp/__init__.py,sha256=xV9onu2RA3HBHECjKSqLAjZEL8e520kL6DRSr-Zws6c,125
isabelle_mcp/component.py,sha256=NCVGSm3gWOMingdK8PikvHsDIBVqs4kUtQuxfMCUjt4,10253
isabelle_mcp/debugger.py,sha256=oWdvw4gD1nlunoZtpNAZSwBVZhLVvWCBlY_Vd83G69g,81646
isabelle_mcp/document_diff.py,sha256=J_FfQwIUuVXMIwYY8wJrJoFso1r64TGEnISyyZWnhvQ,4209
isabelle_mcp/evaluation.py,sha256=laE3MUBTaikZlEAJxbli1AEr1GNLoFKi8hRPBbBLA7Y,64167
isabelle_mcp/file_watcher.py,sha256=oh7JvAASS480WOoiosetIHZtwsj2Xf7TRNmetxHZeb0,10219
isabelle_mcp/install.py,sha256=PmXTDyjVLkiDpp1acwQ_IUZETpHCaYIYNYrqDr5dwy8,6840
isabelle_mcp/instructions.py,sha256=aNbgEWOfddSSXK5cfNMXYz8FcvmosKO5HpJOVJw1MkY,6680
isabelle_mcp/lsp_client.py,sha256=HahVpOJi1Qav5wQngP0G1FzgcX9puvcWXwMC6h7kT7g,75894
isabelle_mcp/models.py,sha256=_S4mF1c_r7Jiy9Pz-yosoRnrBRmBtyDpE7WKNuvTIN8,12767
isabelle_mcp/processing.py,sha256=tqPZCbosDtBKoKd2sBw0ljpZSqvOHh7b-FOaNK6j9Cs,18998
isabelle_mcp/py.typed,sha256=UlkhTBVJqiS1Epx-KILVobCtCGlhR6YKM79R8vO1HdU,61
isabelle_mcp/query.py,sha256=9OFu0vuNe9geF2-KSA6sfYKahVIGDlKtBuMuvd1i01Y,4563
isabelle_mcp/server.py,sha256=lPXKnZOAnhjWEx6uj4DAmalzbQCVPfzENBccdr_Xru4,42514
isabelle_mcp/unicode_guard.py,sha256=MrZYYDKUu6lZEplPy9yURwZzCndgv5MuiCNuqjOZXhw,9506
isabelle_mcp/scala/Isabelle2025-2/ML/mcp_prelude.ML,sha256=wythk4ZMNkBwAdZ0WnVhmLaW_9nRSMk4Q6mRI4kHf9s,26445
isabelle_mcp/scala/Isabelle2025-2/docs/CANCELLATION.md,sha256=u6T5qK8I6CqttRlklNpZwlJBxysBQmidQB5ST6QSWzw,21791
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=j8RIq3xiDrcYfSKBLAdKnOfRyssQUk6H0EF-U8pNt1o,592815
isabelle_mcp/scala/Isabelle2025-2/src/channel.scala,sha256=p5XuGKEiPxDe6Mnho5XuLPMRl72Nc1Zjt6L2H2AeTvc,3307
isabelle_mcp/scala/Isabelle2025-2/src/debugger.scala,sha256=rwY9pEHJMh3cyYdFPB1y5g_PO5z8h91dN0glnRux0Fc,22773
isabelle_mcp/scala/Isabelle2025-2/src/dynamic_output.scala,sha256=fYbGv6j2o-b3bAZn8jT-dmziV6nB2Loa0zT3HnedfpU,1717
isabelle_mcp/scala/Isabelle2025-2/src/language_server.scala,sha256=Q0FcvI_vI5zCFZZVpcMUFAyPL6aNYTICL9PPPGZdPj8,38466
isabelle_mcp/scala/Isabelle2025-2/src/lsp.scala,sha256=av-D2dKnr5VBOAhnlx3iSe40xgXPeST8-CrgzsQuFGE,36098
isabelle_mcp/scala/Isabelle2025-2/src/mcp_main.scala,sha256=75gHn91VDgAPFikQCxLa49UYBGsH203e1MLUzHwTiCI,4055
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=aesFlVhAHUGav7ze6LNd13kzDWRar_3gNdvwVzfKVzM,7384
isabelle_mcp/scala/Isabelle2025-2/src/vscode_rendering.scala,sha256=ecbrvhX8xLC24qzaoYWCSRHT5Z7IhQ4S_SOx7HJGS7Y,11841
isabelle_mcp/scala/Isabelle2025-2/src/vscode_resources.scala,sha256=AgWUMwUt1X38BN9zUbmp8eZpugOSjq9ri_4TqtJYmqw,12446
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/tools/__init__.py,sha256=SMieFtgDL4I3-QIztGKgeKCrZZcS2MpAbm2hmkWjLOg,719
isabelle_mcp/tools/command_output.py,sha256=ZWEy1aCA9olRcLgAR1lYllrrjeKHQrfC8NpppWICiYY,3297
isabelle_mcp/tools/command_status.py,sha256=P6NiPATB-E2aLHqyj-_bU81JQr4KfPSu2cjWqK-OJQg,5608
isabelle_mcp/tools/definition.py,sha256=BUxDHVITzFskWsnIyaioDWBCKdODsZFn2y7BOOitfOE,3532
isabelle_mcp/tools/find_theorems.py,sha256=L_cBaEnOApnYYdSj_rJs7XdhcrYDGDLle3RRmZEmTBQ,9030
isabelle_mcp/tools/goal.py,sha256=-MNsv0GXZYPVCB5x61-G0_ZRjddiFl7f82TzXbf9DFI,2924
isabelle_mcp/tools/hover.py,sha256=-q01x2vWsWD3LM3MCuwFaLoRMBHzHHpe1xqus3nUbtw,4756
isabelle_mcp/tools/local_occurrences.py,sha256=GHzZreKQZU9RIcZEvjdv7L8HAGu0e_2pOwrORN9LSxs,3680
isabelle_mcp/tools/session.py,sha256=2RK5L71dUQGYwmaWQpsEqdqyN_wM-Zb2nIgaHCbXcqA,371
isabelle_mcp/utils/__init__.py,sha256=309Y-S0wDVlpddHoAqhyGyuQ7DtCiTH7pe6a8_hbjfw,1400
isabelle_mcp/utils/core.py,sha256=F0DEigXbc5J1n0oUk3aPkYH3KlTOmLYqkSeH8czpF5M,3020
isabelle_mcp/utils/formatters.py,sha256=qcSBw4XlKRTbSIdqMECF5LyNdoT8zs654voaC_n8lNk,13068
isabelle_mcp/utils/isabelle_symbols.py,sha256=8XhIO7cfAfgMdNeFXe1h7sBjEB5zqki1SFgMEIiC9gA,8436
isabelle_mcp/utils/isabelle_tokens.py,sha256=rCzvPJAj6TqSC3wn6QYnhNySDwQwGC2RiCVXC-PuE7Q,9725
isabelle_mcp-0.4.0.dist-info/licenses/LICENSE,sha256=IOUP56rj5WN46_BBfZ3pBPVaDmHk3zFTM-YypNNVXZU,26419
isabelle_mcp-0.4.0.dist-info/METADATA,sha256=5eKQF2GOpZWI5L-oAGLSRLxBrrGUB3T4s7IwYk_3UMA,8773
isabelle_mcp-0.4.0.dist-info/WHEEL,sha256=YVMoNqKzERt-wjUZwJ33xBGAwnFl-4cqbYkTtWa4itE,91
isabelle_mcp-0.4.0.dist-info/entry_points.txt,sha256=6MBdeddr3rJojaWMgpHPv7BJF2yu8-F0Mavaed9bi5g,58
isabelle_mcp-0.4.0.dist-info/top_level.txt,sha256=g0Z-UrVeVr_ayp5mqcYVjg6bnsdFDVVrGC-tes8QFdY,13
isabelle_mcp-0.4.0.dist-info/RECORD,,
