[Bug-aris] GNU Aris 2.0 Released

[Ian D]

Attention All:

          GNU Aris 2.0 has been released!  The details are as follows:

          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

          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.

Your fearless leader,
  Ian D