Merge pull request #7 from inpefess/new-version

New version

README.md

@@ -5,3 +5,7 @@
 A client for [Isabelle](https://isabelle.in.tum.de) server. For more information about the server see part 4 of [the Isabelle system manual](https://isabelle.in.tum.de/dist/Isabelle2021/doc/system.pdf).
 
 For information on using this client see [documentation](https://isabelle-client.readthedocs.io).
+
+![video tutorial](https://github.com/inpefess/isabelle-client/blob/master/examples/tty.gif).
+
+Issues and PRs are welcome.

doc/source/conf.py

@@ -34,7 +34,7 @@
 author = "Boris Shminke"
 
 # The full version, including alpha/beta/rc tags
-release = "0.0.5"
+release = "0.1.0"
 
 
 # -- General configuration ---------------------------------------------------

doc/source/usage-example.rst

@@ -31,12 +31,9 @@ Now we can get an instance of Isabelle client to talk to this server from Python
 It might be useful to log all replies from the server somewhere, e.g.::
 
     import logging
-    import sys
-
-    logger = logging.getLogger()
-    logger.addHandler(logging.StreamHandler(sys.stdout))
-    logger.setLevel(logging.INFO)
-    isabelle.logger = logger
+    
+    logging.basicConfig(filename="out.log")
+    isabelle.logger = logging.getLogger()
 
 This client has several methods implemented to communicate with the server Python-style, e.g.::
 

examples/example.py

@@ -14,21 +14,19 @@
 limitations under the License.
 """
 import logging
-import sys
 
 from isabelle_client import get_isabelle_client_from_server_info
 
 
 def main():
     """ using ``isabelle`` client """
     # first, run Isabelle server in the same directory as this script:
-    # isabelle server > server.pid
-    isabelle = get_isabelle_client_from_server_info("server.pid")
+    # isabelle server > server.info
+    isabelle = get_isabelle_client_from_server_info("server.info")
     # we will log all the messages from the server to stdout
-    logger = logging.getLogger()
-    logger.addHandler(logging.StreamHandler(sys.stdout))
-    logger.setLevel(logging.INFO)
-    isabelle.logger = logger
+    logging.basicConfig(filename="out.log")
+    isabelle.logger = logging.getLogger()
+    isabelle.logger.setLevel(logging.INFO)
     # now we can send a theory file from this directory to the server
     # and get a response
     isabelle.use_theories(theories=["dummy"], master_dir=".")

pyproject.toml

@@ -1,6 +1,6 @@
 [tool.poetry]
 name = "isabelle-client"
-version = "0.0.7"
+version = "0.1.0"
 description = "A client to Isabelle proof assistant server"
 authors = ["Boris Shminke <boris@shminke.ml>"]
 license = "Apache-2.0"
@@ -11,7 +11,7 @@ classifiers=[
 	"License :: OSI Approved :: Apache Software License",
 	"Operating System :: OS Independent",
 	"Intended Audience :: Science/Research",
-	"Development Status :: 1 - Planning",
+	"Development Status :: 2 - Pre-Alpha",
 	"Environment :: Console",
 	"Natural Language :: English",
 	"Topic :: Scientific/Engineering :: Artificial Intelligence",