newsGNU Aris - News: GNU Aris 2.2 Released

 
 
Latest News
GNU Aris 2.2 Released posted by skolar42, Thu Mar 6 23:51:49 2014 - 0 replies
GNU Aris 2.1.1 Released posted by skolar42, Sat Sep 14 16:53:28 2013 - 0 replies
GNU Aris 2.1 Released posted by skolar42, Fri Aug 30 14:20:46 2013 - 0 replies
GNU Aris 2.0 Released posted by skolar42, Tue Sep 25 13:28:10 2012 - 0 replies
GNU Aris 1.8 Released posted by skolar42, Sun Jul 15 20:01:47 2012 - 0 replies
[Submit News]
[7 news in archive]

GNU Aris 2.2 Released

Item posted by Ian Dunn <skolar42> on Thu Mar 6 23:51:49 2014.

The tarballs are available here:

http://ftp.gnu.org/gnu/aris/aris-2.2,tar.gz
http://ftp.gnu.org/gnu/aris/aris-2.2.tar.bz2

and the Windows version is available here:

http://ftp.gnu.org/gnu/aris/aris-w32-2.2.zip

GNU Aris is a logical proof program. It supports both propositional and
predicate logic, in addition to Boolean algebra and arithmetical logic,
the latter of which it
supports through the use of abstract sequences.

GNU Aris' homepage: <http://www.gnu.org/software/aris/>

New in 2.2

* Added undo/redo functionality.

* Fixed up a lot of bugs in copy/cut/paste.

* Fixed up several bugs in configuration file loading.

* Added support for comments.

* Added LaTeX export option.

* Changed default colors for sentences and references.

* Updated to GTK+ 3.

* Fixed up several processing bugs.

* Fixed up compilation bugs.

* Added example proofs.

Comments:

No messages in GNU Aris 2.2 Released

 

Back to the top


Powered by Savane 3.1-cleanup