isabelle_client/__init__.py,sha256=2CurCZQKl9utuJowBQyHC3PYaJnZdERIr6Bi3PGZW3E,742
isabelle_client/isabelle__client.py,sha256=w39CYmys-LDLo-EF1DHBu-GxZJiXO4FkYQ0NG8P-UGM,12293
isabelle_client/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
isabelle_client/socket_communication.py,sha256=Ka5Few0gps5TzU_Y-2NtGZZda9V2D4Cp8QkJ1QFmINI,6270
isabelle_client/utils.py,sha256=TSAzHBWo8WUFMOHs7xj8DvGYm1J3qr-Y1STRcVwoikk,3278
isabelle_client-0.1.3.dist-info/LICENSE,sha256=z8d0m5b2O9McPEK1xHG_dWgUBT6EfBDz6wA0F7xSPTA,11358
isabelle_client-0.1.3.dist-info/WHEEL,sha256=VN2eEg4PHbTOniXb-cCYQPc6zUTS4dAcATjlgU3q-Lo,83
isabelle_client-0.1.3.dist-info/METADATA,sha256=xhCZPJx_XS-H01m3Z3hBuI9xr9bvoT3ZSZYqPWSlx10,2941
isabelle_client-0.1.3.dist-info/RECORD,,
