Version update

sucksome · sucksome · commit d355f25d4611 · 2023-08-27T12:09:59.000+05:30
diff --git a/AUTHORS b/AUTHORS
@@ -10,3 +10,7 @@ The following people contributed to GNU Aris,
 and their time and effort are greatly appreciated:
 
 Ian Dunn <dunni@gnu.org>
+Kovács Zoltán <kovzol@gmail.com>
+Saksham Attri <sakshamattri3@gmail.com>
+Alexander Thaller <alex.t@gmx.at>
+Andreas Ebetshuber <andreas.ebetshuber@ph-ooe.at>
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -3,7 +3,7 @@ project(aris C)
 
 set(PACKAGE_NAME "GNU Aris")
 set(PACKAGE "aris")
-set(ARIS_VERSION "2.2")
+set(ARIS_VERSION "3.0")
 set(PACKAGE_BUGREPORT "aris-bugs@gnu.org")
 
 set(CMAKE_C_STANDARD 11)
diff --git a/NEWS b/NEWS
@@ -7,6 +7,16 @@ This NEWS file records important changes.
   notice and this notice are preserved.
 
 
+3.0
+
+  * Added a qt version.
+  
+  * Added support for WebAssembly compilation.
+  
+  * Fixed up subproof referencing bugs.
+  
+  * Fixed up On-Screen Keyboard bugs on gtk build.
+
 2.2
 
   * Added undo/redo functionality.
diff --git a/configure.ac b/configure.ac
@@ -1,5 +1,5 @@
 AC_PREREQ(2.60)
-AC_INIT([GNU Aris], [2.2], [bug-aris@gnu.org])
+AC_INIT([GNU Aris], [3.0], [bug-aris@gnu.org])
 AC_CONFIG_AUX_DIR([build-aux])
 AM_INIT_AUTOMAKE
 

-Original file line number
+Diff line change
 and their time and effort are greatly appreciated:
 Ian Dunn <[email protected]>
 +Kovács Zoltán <[email protected]>
 +Saksham Attri <[email protected]>
 +Alexander Thaller <[email protected]>
 +Andreas Ebetshuber <[email protected]>