<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> <html> <head> <title></title> <link rel="stylesheet" media="screen" type="text/css" href="./style.css" /> <link rel="stylesheet" media="screen" type="text/css" href="./design.css" /> <link rel="stylesheet" media="print" type="text/css" href="./print.css" /> <meta http-equiv="Content-Type" content="text/html; charset=utf-8" /> </head> <body> <h1><a name="coverts_texsim_aet_files_to_vcd_tex2vcd" id="coverts_texsim_aet_files_to_vcd_tex2vcd">Coverts TEXSIM AET files to VCD (tex2vcd)</a></h1> <div class="level1"> <pre class="code">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)</pre> </div> </body> </html>