I've moved Aris over to git. While git isn't my favorite VCS by far, it's more commonly used, and thus will be easier for other contributors to use.
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.
The tarballs
are available here:
http://ftp.gnu.org/gnu/aris/aris-2.1.1.tar.gz
http://ftp.gnu.org/gnu/aris/aris-2.1.1.tar.bz2
and the Windows version is available here:
http://ftp.gnu.org/gnu/aris/aris-w32-2.1.1.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.1.1:
The tarballs
are available here:
http://ftp.gnu.org/gnu/aris/aris-2.1.tar.gz
http://ftp.gnu.org/gnu/aris/aris-2.1.tar.bz2
and the Windows version is available here:
http://ftp.gnu.org/gnu/aris/aris-w32-2.1.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.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.
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.
The tarballs are available here:
http://ftp.gnu.org/gnu/aris/aris-1.8.tar.gz
http://ftp.gnu.org/gnu/aris/aris-1.8.tar.bz2
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 1.8:
* Added LaTeX conversion functionality.
* Stricter syntax checking.
* Parenthesis parsing fixed up.
* Fixed selection bug.
* Temporarily removed grade flag.
* Added text checking flag.
The tarballs are available here:
http://ftp.gnu.org/gnu/aris/aris-1.7.tar.gz
http://ftp.gnu.org/gnu/aris/aris-1.7.tar.bz2
and the Windows version is available here:
http://ftp.gnu.org/gnu/aris-w32-1.7.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 1.7:
The tarballs are available here:
http://ftp.gnu.org/gnu/aris/aris-1.0.tar.gz
http://ftp.gnu.org/gnu/aris/aris-1.0.tar.bz2
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/>
This is the initial release of GNU Aris.