lwb 2.2.1

function (show-proof) in natural deduction
esb-lwb · Jun 29, 2021 · 3580f87 · 3580f87
1 parent 5c2744f
commit 3580f87
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 5 deletions.
diff --git a/project.clj b/project.clj
@@ -1,5 +1,5 @@
-(defproject lwb-gui "1.0.1"
-  :date "2020-11-26"
+(defproject lwb-gui "1.0.3"
+  :date "2021-06-29"
   :description "A simple GUI for the Logic Workbench"
   :url "https://guthub.com/esb-lwb/lwb-gui"
   :license {:name "Eclipse Public License"
@@ -12,7 +12,7 @@
                  [j18n "1.0.2"]
                  [rsyntaxtextarea/rsyntaxtextarea "3.0.9-esb-dev"]
                  [seesaw "1.5.1-esb-dev"]
-                 [lwb/lwb "2.2.1"]] ;; update consts/about too!
+                 [lwb/lwb "2.2.4"]] ;; update consts/about too!
   :main esb.dev.lwb-gui.main
   :profiles {:uberjar  {:aot :all}}
   :uberjar-name "lwb-gui.jar")

diff --git a/src/esb/dev/lwb_gui/consts.clj b/src/esb/dev/lwb_gui/consts.clj
@@ -77,9 +77,9 @@
     \newline
     ["<html><strong>Logic Workbench GUI</strong>"
      (str "Rev " rev)
-     "uses Logic Workbench lwb Revision 2.2.1"
+     "uses Logic Workbench lwb Revision 2.2.4"
      "Project home: https:/github.com/esb-lwb/lwb-gui"
-     "Copyright © 2014 - 2020, Burkhardt Renz"
+     "Copyright © 2014 - 2021, Burkhardt Renz"
      ""
      "<html>Licensed under Eclipse Public License 1.0<br />"
      "<html>Written in <strong>Clojure</strong> (clojure.org)<br />"