Bertie3 and Twootie 2.1 help learn symbolic Logic

Please, can anybody make portable these two, free and open source programs? They are needed by many students of symbolic Logic all around.

BERTIE3 is a proof checker for natural deduction in sentential and predicate logic.

TWOOTIE 2.1 is a tool for exploring truth trees in sentential and predicate logic.

Both programs ran originally under DOS, and worked fine under Windows untill Windows-XP. Thereafter, they only run under DOSBox (available as a portableapp), although some configuration is needed.

other features of the programs to be found in their download page:
http://selfpace.uconn.edu/BertieTwootie/software.htm

As of June 2002, creator Austen Clark (Conn. U.) granted distribution of the programs under the copyleft terms of the GNU General Public License, as can be read from his personal page at:

http://selfpace.uconn.edu/aclark.htm

He also made the source code available there. This is important, because some kind of interaction with with DOSBox might be at hand.