isabelle_client/__init__.py,sha256=PWhI1dP_RSLKa6ENxREVxwYNTD2pJuvcpua08YJfNaA,825
isabelle_client/compatibility_helper.py,sha256=hHsDv1riRC1hH2TokEt7Yi3Io2qHAJmVonCVOfIqiTE,1141
isabelle_client/isabelle__client.py,sha256=F6Vc-JehFz0-B9TL8bvtz5LAu-t5XTDQNFRGZa4xpCs,11072
isabelle_client/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
isabelle_client/socket_communication.py,sha256=DaArFS4EN_wo47lWT9U2hNv_EJlBJEtNhEnRPFZxGhM,4895
isabelle_client/utils.py,sha256=RAzj1LCvA9DAJ5rG6E6LZPLqyN5GsLQeanCpHgYWoDk,2778
isabelle_client-0.2.8.dist-info/LICENSE,sha256=z8d0m5b2O9McPEK1xHG_dWgUBT6EfBDz6wA0F7xSPTA,11358
isabelle_client-0.2.8.dist-info/WHEEL,sha256=N0LZrBtofpkS5mJXgVHTCEy52Sam4D6PHQWC8HnMeTs,83
isabelle_client-0.2.8.dist-info/METADATA,sha256=FFQSwdNmHyyXPTSxFOmuyeDfK2c9zagCxadrV9Q9YCg,1937
isabelle_client-0.2.8.dist-info/RECORD,,
