Hubert - no problem. I'm still working on the David-o-matic software. I
hope to also be done by Monday.
Hubert H Leung wrote:
TPTP still needs a little more time
getting the M4 build ready. We had some problems with building with
EMF 2.3. We now have a solution and the build is being tested right
now. If I get the green light to use this build by EOD today, the
TPTP update site for Callisto will be ready next Monday.