[Bug-aris] ARIS

[garbel]

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