tex2vcd (1) - Linux Man Pages
tex2vcd: Coverts TEXSIM AET files to VCD
tex2vcd - Coverts TEXSIM AET files to VCD
Converts AET files to VCD on stdout. This is experimental as it is not a complete implementation and is not intended for general use.
Anthony Bybell <bybell [at] nc.rr.com>