version bump

EugeneLoy · Mar 3, 2019 · 8e601d9 · 8e601d9
1 parent e688d1c
commit 8e601d9
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/coq_jupyter/kernel.js b/coq_jupyter/kernel.js
@@ -11,7 +11,7 @@
   return {
     onload: function() {
 
-      var version = '1.3.0';
+      var version = '1.4.0';
 
       console.info('Loading Coq kernel script, version: ' + version);
 

diff --git a/coq_jupyter/kernel.py b/coq_jupyter/kernel.py
@@ -11,7 +11,7 @@
 from .renderer import Renderer, HTML_ROLL_BACK_MESSAGE, TEXT_ROLL_BACK_MESSAGE
 
 
-__version__ = '1.3.0'
+__version__ = '1.4.0'
 
 
 CELL_COMM_TARGET_NAME = "coq_kernel.cell_comm"

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