isabelle_client/__init__.py,sha256=gwZixE5nvvw2j0PMRpIKhOGzNPCwUDSv2EALMkCOT3M,898
isabelle_client/conftest.py,sha256=PETDUOJk4lY3GHJtuKY6vVRyKUcGurQJfse1nve-P9w,1862
isabelle_client/isabelle__client.py,sha256=n3Z373YjOiNDw9eAQFp4vj-PI8qJ1Q0b_GPC_H0Xxz4,11627
isabelle_client/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
isabelle_client/resources/Cygwin-Isabelle.bat,sha256=PQnONfdvPYoVa1tDXUl91ul3w5MNfT5GuvI3j7s_DAI,295
isabelle_client/resources/example.txt,sha256=lKuiwkIewqpsHMdLDgLpE0ls8PUIkiv6jlvcfZfnzek,1247
isabelle_client/resources/isabelle,sha256=kHvHznGGFUrIwuXSvhLCcICnj75UlYs-qwaTBv3taok,79
isabelle_client/socket_communication.py,sha256=q47MLWxuq6pdlQ0b3YadA_g1UCxv7i27js71S_DqgdY,5282
isabelle_client/utils.py,sha256=nGLDkO3hq-x1gemjEPQbwrVQ0RJui9wFpMAHum5cIIM,6766
isabelle_client-0.3.17.dist-info/LICENSE,sha256=z8d0m5b2O9McPEK1xHG_dWgUBT6EfBDz6wA0F7xSPTA,11358
isabelle_client-0.3.17.dist-info/METADATA,sha256=QHO4keLavmGTsOUQa8TiEil3O1ojkbQoXqI5CqTUjL0,5891
isabelle_client-0.3.17.dist-info/WHEEL,sha256=WGfLGfLX43Ei_YORXSnT54hxFygu34kMpcQdmgmEwCQ,88
isabelle_client-0.3.17.dist-info/RECORD,,
