bug-aris
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Bug-aris] ARIS


From: garbel
Subject: [Bug-aris] ARIS
Date: Tue, 18 Apr 2017 14:56:30 -0400
User-agent: Roundcube Webmail/0.9.5

Hello Ian Dunn? & whomever else will actually receive this email,

I am part of a group of people from RPI in Bram's logic class that are planning on improving ARIS to a point in which it can replace FITCH as the program used in the logic curriculum (or at least rival it). We currently ran into the problem of not having the 'configure' file or the 'configure.ac' file used in rebuilding ARIS after changes are made. I was wondering if it would be possible to get those from one of you who have actually worked on it.

--
Thanks,
Logan Garber
RPI Class of 2019



reply via email to

[Prev in Thread] Current Thread [Next in Thread]