isabelle_client/__init__.py,sha256=PWhI1dP_RSLKa6ENxREVxwYNTD2pJuvcpua08YJfNaA,825
isabelle_client/compatibility_helper.py,sha256=hHsDv1riRC1hH2TokEt7Yi3Io2qHAJmVonCVOfIqiTE,1141
isabelle_client/isabelle__client.py,sha256=5jINHag337AnWz0fbP0FiVzR7wE2T9_zA5-QCYIOcBk,11187
isabelle_client/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
isabelle_client/socket_communication.py,sha256=7oJDGtVO-59AdlN78EvvazBXgn9hvDU07CGEMu7wb18,5030
isabelle_client/utils.py,sha256=RAzj1LCvA9DAJ5rG6E6LZPLqyN5GsLQeanCpHgYWoDk,2778
isabelle_client-0.3.0.dist-info/LICENSE,sha256=z8d0m5b2O9McPEK1xHG_dWgUBT6EfBDz6wA0F7xSPTA,11358
isabelle_client-0.3.0.dist-info/WHEEL,sha256=y3eDiaFVSNTPbgzfNn0nYn5tEn1cX6WrdetDlQM4xWw,83
isabelle_client-0.3.0.dist-info/METADATA,sha256=38pq_-0Znbkepu5lthVIMEoAX4jCsNZ7GHMM6_2Hbbw,4448
isabelle_client-0.3.0.dist-info/RECORD,,
