version bump

EugeneLoy · Jan 9, 2019 · 2c31439 · 2c31439
1 parent 03b692d
commit 2c31439
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/coq_jupyter/kernel.py b/coq_jupyter/kernel.py
@@ -8,7 +8,7 @@
 from operator import itemgetter
 from uuid import uuid4
 
-__version__ = '1.2.0'
+__version__ = '1.3.0'
 
 PROMPT = u"\<prompt\>.+?\s\<\s(?P<state_label>\d+)\s\|(?P<proving>.*?)\|\s\d+\s\<\s\<\/prompt\>"
 

diff --git a/setup.py b/setup.py
@@ -6,7 +6,7 @@
 
 setup(
     name='coq_jupyter',
-    version='1.2.0',
+    version='1.3.0',
     packages=['coq_jupyter'],
     description='Coq kernel for Jupyter',
     long_description=readme,