I was arguing 3 things:
1) tla will run under cygwin, so there is a windows version available.
2) cmd.exe isn't a great shell, so depending on cygwin is okay. They
actually made it quite a bit better than command.com, but bash is
still far better.
3) the general windows philosophy is to use gui's for things.
The main 2 reasons tla doesn't run on windows is that it had a tendency
to abuse path names (make them too long) this is what I work on. The
second is that it is written as a POSIX application, and windows isn't
generally posix compliant. (They use file handles instead of small
integers, for instance.)
...
John
=:->