1 <!DOCTYPE html PUBLIC
"-//W3C//DTD XHTML 1.0 Transitional//EN"
2 "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
6 <link rel=
"stylesheet" media=
"screen" type=
"text/css" href=
"./style.css" />
7 <link rel=
"stylesheet" media=
"screen" type=
"text/css" href=
"./design.css" />
8 <link rel=
"stylesheet" media=
"print" type=
"text/css" href=
"./print.css" />
10 <meta http-equiv=
"Content-Type" content=
"text/html; charset=utf-8" />
17 <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>
19 <pre class=
"code">TEX2VCD(
1) Filetype Conversion TEX2VCD(
1)
24 tex2vcd - Coverts TEXSIM AET files to VCD
27 mvl2vcd
<filename.aet
>
30 Converts AET files to VCD on stdout. This is experimental as it is not
31 a complete implementation and is not intended for general use.
34 Anthony Bybell
<bybell@nc.rr.com
>
37 mvl2vcd(
1) mvl2lxt(
1) lxt2vcd(
1) vcd2lxt2(
1) vcd2lxt(
1) gtkwave(
1)
41 Anthony Bybell
1.3.34 TEX2VCD(
1)
</pre>