isabelle_client/__init__.py,sha256=559nsmo6gZd2CgRtSKBF677nw_wacjfGzEu_blUCaug,765
isabelle_client/isabelle__client.py,sha256=ARb1kn4NwJzaP_hCVtPQEUjdRGbSEowgTegxpGfgT8w,11234
isabelle_client/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
isabelle_client/socket_communication.py,sha256=QbRcG9Ztqih3k_IHgP-Gda7ZN3U0Ixri0bOpLdhkXE0,4790
isabelle_client/utils.py,sha256=zrTjBWxOcqBwJM0Uh_znRFV2b0yEvCMOwXvInXZWeSI,2728
isabelle_client-0.2.1.dist-info/LICENSE,sha256=z8d0m5b2O9McPEK1xHG_dWgUBT6EfBDz6wA0F7xSPTA,11358
isabelle_client-0.2.1.dist-info/WHEEL,sha256=VN2eEg4PHbTOniXb-cCYQPc6zUTS4dAcATjlgU3q-Lo,83
isabelle_client-0.2.1.dist-info/METADATA,sha256=NVkYRbVrrP5ZhK6HPuseRIo26TJ3b2ttk4PXC-B_7xU,2937
isabelle_client-0.2.1.dist-info/RECORD,,
