From 05f2c5ec725e8513d0ef64ee6ea6fcbb6f6844d1 Mon Sep 17 00:00:00 2001
From: Eugene Loy <eugeny.loy@gmail.com>
Date: Wed, 2 Jan 2019 15:37:01 +0200
Subject: [PATCH] version bump

---
 coq_jupyter/kernel.py | 2 +-
 setup.py              | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/coq_jupyter/kernel.py b/coq_jupyter/kernel.py
index bf1ac68..fc97cca 100644
--- a/coq_jupyter/kernel.py
+++ b/coq_jupyter/kernel.py
@@ -6,7 +6,7 @@
 from subprocess import check_output
 from operator import itemgetter
 
-__version__ = '1.0.0'
+__version__ = '1.1.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
index 2806081..296a9a8 100644
--- a/setup.py
+++ b/setup.py
@@ -6,7 +6,7 @@
 
 setup(
     name='coq_jupyter',
-    version='1.0.0',
+    version='1.1.0',
     packages=['coq_jupyter'],
     description='Coq kernel for Jupyter',
     long_description=readme,