[Bug-aris] Aris 2.1.1 Released

[Ian D]

Everyone,

        Aris 2.1.1 has been released!

        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

        Changes in version 2.1.1:

        * Fixed up bugs in processing.
        * Fixed up bugs in bi, dt, and sb.
        * Cleaned up code.
        * Induction now requires two premises.
        * Customization allows for a grading server directory.
        * Fixed up some memory leaks.
        * Fixed up some bugs with the goal menu.

Ian D