isabelle_mcp/__init__.py,sha256=Jqpv3wcsLRoaq7qRTgytlAKe15FTqGWuN2nagEDF3UM,125
isabelle_mcp/component.py,sha256=NCVGSm3gWOMingdK8PikvHsDIBVqs4kUtQuxfMCUjt4,10253
isabelle_mcp/evaluation.py,sha256=sjPWjIN_ObjkPEWlImDJxEWnRMfiLcSeWGeRPXedIcM,37676
isabelle_mcp/file_watcher.py,sha256=oh7JvAASS480WOoiosetIHZtwsj2Xf7TRNmetxHZeb0,10219
isabelle_mcp/install.py,sha256=PmXTDyjVLkiDpp1acwQ_IUZETpHCaYIYNYrqDr5dwy8,6840
isabelle_mcp/instructions.py,sha256=O_c3ROCeXXcQOiBMADrPojaRYu5RaLOTsu1RH8Mw7Xs,5087
isabelle_mcp/lsp_client.py,sha256=cP6_r1iV-fZ69z4ISqQP5wHYcUciyt-Z4s6gtdLMSIg,76102
isabelle_mcp/models.py,sha256=N11mzNmS4jvZ5VfVMqvfFt6uq6k_kwPQ6wxoqJNkzvY,10475
isabelle_mcp/processing.py,sha256=2unH5KnEo9a4BdNCDBTdyBKSeOlsavvbPnhsjUuQCeA,14527
isabelle_mcp/py.typed,sha256=UlkhTBVJqiS1Epx-KILVobCtCGlhR6YKM79R8vO1HdU,61
isabelle_mcp/server.py,sha256=6hYYk0xYJ9dAorTQ3zl6kcA6GZDwqHj6cAbbDd5SOUQ,27296
isabelle_mcp/unicode_guard.py,sha256=xWwymK0zijLBv0X3HnTbMGMKp9LymX6gf7YblMSJdXo,9455
isabelle_mcp/scala/Isabelle2025-2/ML/mcp_prelude.ML,sha256=QB6xhrnHNFXOeIWvlwljtQBRyyS4K6OkC5kV-QB4f7M,3269
isabelle_mcp/scala/Isabelle2025-2/docs/CANCELLATION.md,sha256=u6T5qK8I6CqttRlklNpZwlJBxysBQmidQB5ST6QSWzw,21791
isabelle_mcp/scala/Isabelle2025-2/etc/build.props,sha256=McH5gAHH6Qd3fULWz4RWYMumUDzQiLO2hsPwTUGSGp4,564
isabelle_mcp/scala/Isabelle2025-2/etc/settings,sha256=Pe25NTJB8LN1EAwrfHdFnfy0tokM9qlH_ixf7aC0dBk,138
isabelle_mcp/scala/Isabelle2025-2/lib/isabelle_mcp.jar,sha256=l_L2d1pZZpe-A0Pa6_YOa9T1SzEFJFnybLlYZfV7QyQ,474350
isabelle_mcp/scala/Isabelle2025-2/src/channel.scala,sha256=p5XuGKEiPxDe6Mnho5XuLPMRl72Nc1Zjt6L2H2AeTvc,3307
isabelle_mcp/scala/Isabelle2025-2/src/dynamic_output.scala,sha256=fYbGv6j2o-b3bAZn8jT-dmziV6nB2Loa0zT3HnedfpU,1717
isabelle_mcp/scala/Isabelle2025-2/src/language_server.scala,sha256=HDLJkBpA5bnGZ4W71UDrs8osRPG9MVlouO7aoyxvXPc,30708
isabelle_mcp/scala/Isabelle2025-2/src/lsp.scala,sha256=IzUszKDkIjYYbbzAVTEAlutFf23Rz0JnphHp_zrfT2I,26930
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/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=rxNSphhNNdOR8mA1KCHqg4WAuCQePBFYtXbHAh6pQv8,11054
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=hRYG4VT56_h1NvzlGdByITtKrOf38bpPMJ7pNWKVOpU,588
isabelle_mcp/tools/command_output.py,sha256=QXcOOyJQ_lcwxtXDCAnO9BB2QPff7nzQDrsl6vZl5-c,3099
isabelle_mcp/tools/definition.py,sha256=8lkRowLOYDduhxufkhNvp6WtJXBMwh0nSGwQOJOUAPg,3334
isabelle_mcp/tools/find_theorems.py,sha256=UCVydwgW09XSabKNizmbcSwxei7q0HzbCEuYvHAM1r8,7311
isabelle_mcp/tools/goal.py,sha256=_cpCxBclPLkIsdAo4GgWVSHD0tAG8aifaJAyIrDRYg4,1481
isabelle_mcp/tools/hover.py,sha256=EMKp1yfcGI851jGfRlJBVYNNRJxB8_obkAnsbwChZ4s,4144
isabelle_mcp/tools/local_occurrences.py,sha256=Ud5KyBtEqijlOFYVy6yss7Yb8vwDLLHQuWwvQYLeNAQ,3482
isabelle_mcp/tools/session.py,sha256=kuk19YP5rqfid7VOR5s8ZHnvHCm0ZLpExw2zYsKzP2A,343
isabelle_mcp/utils/__init__.py,sha256=MAWNXPtwQIwlc2Ol-sm0GEnX1gNw4K6Nkpz4Y8SmmSk,1374
isabelle_mcp/utils/core.py,sha256=i-IOjQOd1r_nAb5jYBDYeXYOtqw8105JbeFllttTJFs,2686
isabelle_mcp/utils/formatters.py,sha256=ayK5u8FswZjYf5ZaeFVwWUM-fLHm6r0n0EBZNr8KNUI,11122
isabelle_mcp/utils/isabelle_symbols.py,sha256=8XhIO7cfAfgMdNeFXe1h7sBjEB5zqki1SFgMEIiC9gA,8436
isabelle_mcp/utils/isabelle_tokens.py,sha256=rCzvPJAj6TqSC3wn6QYnhNySDwQwGC2RiCVXC-PuE7Q,9725
isabelle_mcp-0.3.1.dist-info/licenses/LICENSE,sha256=PnrJGdsTvXGDqjqg7F8STB2x06rcWMylBPPcrjno3pI,1071
isabelle_mcp-0.3.1.dist-info/METADATA,sha256=eTGX-1bJsiqOGtwp4NpZCcMMMVqV_hnuWMD1B3qWrw0,6975
isabelle_mcp-0.3.1.dist-info/WHEEL,sha256=K260EYznzXsJYBQGqmI8VTxEdiZYNvDZwW9cBh9-_MA,91
isabelle_mcp-0.3.1.dist-info/entry_points.txt,sha256=6MBdeddr3rJojaWMgpHPv7BJF2yu8-F0Mavaed9bi5g,58
isabelle_mcp-0.3.1.dist-info/top_level.txt,sha256=g0Z-UrVeVr_ayp5mqcYVjg6bnsdFDVVrGC-tes8QFdY,13
isabelle_mcp-0.3.1.dist-info/RECORD,,
