newsGNU Aris - News: GNU Aris 2.0 Released

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

GNU Aris 2.0 Released

Item posted by Ian Dunn <skolar42> on Tue 25 Sep 2012 01:28:10 PM UTC.

The tarballs are available here:

[http://ftp.gnu.org/gnu/aris/aris-2.0.tar.gz]
[http://ftp.gnu.org/gnu/aris/aris-2.0.tar.bz2]

and the Windows version is available here:

[http://ftp.gnu.org/gnu/aris-w32-2.0.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/]>

Changes in version 2.0:

* Added customization dialog.

* Reinstated grading flag.

* Internal representation of connectives now CLI connectives.

* Connectives represented externally with pixbufs.

* Submission option.

* Lemma file names added to rules menu.

* Loads the manual from the web if it isn't found offline.

Comments:

No messages in GNU Aris 2.0 Released

 

Back to the top


Powered by Savane 3.1-cleanup