isabelle_client/__init__.py,sha256=_hRytUqi8pPG5wtuJXrlD2DHjMZnOTQhvhZfi_OhuPI,898
isabelle_client/conftest.py,sha256=CZ5ES32RvSPx9JeY_rQNkkUnSfy2ytnN06X6y6d7Sss,3351
isabelle_client/isabelle__client.py,sha256=b423QX2H97NnOk6hjt5HPKUipWFvUE-BMgZaLF6Piik,11617
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=HDgx433c_XO6a6dPE573so9OGG5F82fQmFvII2omdfk,5186
isabelle_client/utils.py,sha256=ebzKiJ5oFOZUcuB0VvUu8H2EGqtoclDLhpfxBhiSUYQ,4339
isabelle_client-0.3.10.dist-info/LICENSE,sha256=z8d0m5b2O9McPEK1xHG_dWgUBT6EfBDz6wA0F7xSPTA,11358
isabelle_client-0.3.10.dist-info/WHEEL,sha256=vxFmldFsRN_Hx10GDvsdv1wroKq8r5Lzvjp6GZ4OO8c,88
isabelle_client-0.3.10.dist-info/METADATA,sha256=phJbIm5vB4Pfu6pc1MLK2ydRo1ATHCT_9yU0k51WuD8,6302
isabelle_client-0.3.10.dist-info/RECORD,,
