Merge pull request #33 from inpefess/maintenance

Maintenance
inpefess · Jul 15, 2021 · 3620610 · 3620610
2 parents 44ece7f + 8cf7b5c
commit 3620610
Show file tree

Hide file tree

Showing 17 changed files with 212 additions and 149 deletions.
diff --git a/README.md b/README.md
@@ -58,7 +58,7 @@ Then all replies from the server will go to the file ``out.log``.
 
 # Examples
 
-An example of using this package is located in ``examples`` directory.
+For an example of using this package see the ``examples`` directory.
 
 # Video example
 

diff --git a/conftest.py b/conftest.py
@@ -5,7 +5,7 @@
 you may not use this file except in compliance with the License.
 You may obtain a copy of the License at
 
-    http://www.apache.org/licenses/LICENSE-2.0
+    https://www.apache.org/licenses/LICENSE-2.0
 
 Unless required by applicable law or agreed to in writing, software
 distributed under the License is distributed on an "AS IS" BASIS,

diff --git a/doc/source/conf.py b/doc/source/conf.py
@@ -6,7 +6,7 @@
 you may not use this file except in compliance with the License.
 You may obtain a copy of the License at
 
-    http://www.apache.org/licenses/LICENSE-2.0
+    https://www.apache.org/licenses/LICENSE-2.0
 
 Unless required by applicable law or agreed to in writing, software
 distributed under the License is distributed on an "AS IS" BASIS,

diff --git a/doc/source/index.rst b/doc/source/index.rst
@@ -5,7 +5,7 @@
   you may not use this file except in compliance with the License.
   You may obtain a copy of the License at
 
-      http://www.apache.org/licenses/LICENSE-2.0
+      https://www.apache.org/licenses/LICENSE-2.0
 
   Unless required by applicable law or agreed to in writing, software
   distributed under the License is distributed on an "AS IS" BASIS,
@@ -39,7 +39,7 @@ See also :ref:`usage-example`.
 How to contribute
 ==================
 
-Pull requests on are welcome. To start::
+Pull requests are welcome. To start::
 
     git clone https://github.com/inpefess/isabelle-client
     cd isabelle-client

diff --git a/doc/source/package-documentation.rst b/doc/source/package-documentation.rst
@@ -5,7 +5,7 @@
   you may not use this file except in compliance with the License.
   You may obtain a copy of the License at
 
-      http://www.apache.org/licenses/LICENSE-2.0
+      https://www.apache.org/licenses/LICENSE-2.0
 
   Unless required by applicable law or agreed to in writing, software
   distributed under the License is distributed on an "AS IS" BASIS,

diff --git a/doc/source/usage-example.rst b/doc/source/usage-example.rst
@@ -5,7 +5,7 @@
   you may not use this file except in compliance with the License.
   You may obtain a copy of the License at
 
-      http://www.apache.org/licenses/LICENSE-2.0
+      https://www.apache.org/licenses/LICENSE-2.0
 
   Unless required by applicable law or agreed to in writing, software
   distributed under the License is distributed on an "AS IS" BASIS,

diff --git a/examples/example.py b/examples/example.py
@@ -5,7 +5,7 @@
 you may not use this file except in compliance with the License.
 You may obtain a copy of the License at
 
-    http://www.apache.org/licenses/LICENSE-2.0
+    https://www.apache.org/licenses/LICENSE-2.0
 
 Unless required by applicable law or agreed to in writing, software
 distributed under the License is distributed on an "AS IS" BASIS,

diff --git a/examples/video_example/char_by_char.py b/examples/video_example/char_by_char.py
@@ -5,7 +5,7 @@
 you may not use this file except in compliance with the License.
 You may obtain a copy of the License at
 
-    http://www.apache.org/licenses/LICENSE-2.0
+    https://www.apache.org/licenses/LICENSE-2.0
 
 Unless required by applicable law or agreed to in writing, software
 distributed under the License is distributed on an "AS IS" BASIS,

diff --git a/isabelle_client/__init__.py b/isabelle_client/__init__.py
@@ -5,7 +5,7 @@
 you may not use this file except in compliance with the License.
 You may obtain a copy of the License at
 
-    http://www.apache.org/licenses/LICENSE-2.0
+    https://www.apache.org/licenses/LICENSE-2.0
 
 Unless required by applicable law or agreed to in writing, software
 distributed under the License is distributed on an "AS IS" BASIS,

diff --git a/isabelle_client/compatibility_helper.py b/isabelle_client/compatibility_helper.py
@@ -5,7 +5,7 @@
 you may not use this file except in compliance with the License.
 You may obtain a copy of the License at
 
-    http://www.apache.org/licenses/LICENSE-2.0
+    https://www.apache.org/licenses/LICENSE-2.0
 
 Unless required by applicable law or agreed to in writing, software
 distributed under the License is distributed on an "AS IS" BASIS,

diff --git a/isabelle_client/isabelle__client.py b/isabelle_client/isabelle__client.py
@@ -5,7 +5,7 @@
 you may not use this file except in compliance with the License.
 You may obtain a copy of the License at
 
-    http://www.apache.org/licenses/LICENSE-2.0
+    https://www.apache.org/licenses/LICENSE-2.0
 
 Unless required by applicable law or agreed to in writing, software
 distributed under the License is distributed on an "AS IS" BASIS,
@@ -122,8 +122,7 @@ def session_build(
         }
         if dirs is not None:
             arguments["dirs"] = dirs
-        for name in kwargs:
-            arguments[name] = kwargs[name]
+        arguments.update(kwargs)
         response = async_run(
             self.execute_command(f"session_build {json.dumps(arguments)}")
         )
@@ -148,8 +147,7 @@ def session_start(self, session: str = "HOL", **kwargs) -> str:
         :returns: a ``session_id``
         """
         arguments = {"session": session}
-        for name in kwargs:
-            arguments[name] = kwargs[name]
+        arguments.update(kwargs)
         response = async_run(
             self.execute_command(f"session_start {json.dumps(arguments)}")
         )
@@ -206,8 +204,7 @@ def use_theories(
             "session_id": new_session_id,
             "theories": theories,
         }
-        for name in kwargs:
-            arguments[name] = kwargs[name]
+        arguments.update(kwargs)
         if master_dir is not None:
             arguments["master_dir"] = master_dir
         response = async_run(

diff --git a/isabelle_client/socket_communication.py b/isabelle_client/socket_communication.py
@@ -5,7 +5,7 @@
 you may not use this file except in compliance with the License.
 You may obtain a copy of the License at
 
-    http://www.apache.org/licenses/LICENSE-2.0
+    https://www.apache.org/licenses/LICENSE-2.0
 
 Unless required by applicable law or agreed to in writing, software
 distributed under the License is distributed on an "AS IS" BASIS,

diff --git a/isabelle_client/utils.py b/isabelle_client/utils.py
@@ -5,7 +5,7 @@
 you may not use this file except in compliance with the License.
 You may obtain a copy of the License at
 
-    http://www.apache.org/licenses/LICENSE-2.0
+    https://www.apache.org/licenses/LICENSE-2.0
 
 Unless required by applicable law or agreed to in writing, software
 distributed under the License is distributed on an "AS IS" BASIS,