New version of tm_axiom for Windows is complete. This needs to be back-ported to Linux. The new code makes use of threads but the thread library under windows (beginthreadex) is a little different than under Linux (posixthreads).