newsGNU Aris - News: GNU Aris 2.1 Released

Latest News
Removing bazaar and mercurial repos posted by skolar42, Sat 30 Sep 2017 05:15:08 PM UTC - 0 replies
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
[Submit News]
[8 news in archive]

GNU Aris 2.1 Released

Item posted by Ian Dunn <skolar42> on Fri 30 Aug 2013 02:20:46 PM UTC.

The tarballs
are available here:

and the Windows version is available here:

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: <>

Changes in version 2.1:

  * Fixed up bugs in the customization dialog.

  * Added a customization option for the grade server's password.

  * Fixed up bugs in submission process.

  * Added ability to import proofs into current proof.

  * Fixed up bugs in grading flag.

  * Changed validity indicators from text to icons.

  * Fixed up processing bugs.

No messages in GNU Aris 2.1 Released


Back to the top

Powered by Savane 3.7