TEX2VCD(1) Filetype Conversion TEX2VCD(1) NAME tex2vcd - Coverts TEXSIM AET files to VCD SYNTAX mvl2vcd <filename.aet> DESCRIPTION Converts AET files to VCD on stdout. This is experimental as it is not a complete implementation and is not intended for general use. AUTHORS Anthony Bybell <bybell@nc.rr.com> SEE ALSO mvl2vcd(1) mvl2lxt(1) lxt2vcd(1) vcd2lxt2(1) vcd2lxt(1) gtkwave(1) Anthony Bybell 1.3.34 TEX2VCD(1)