tex2vcd1
Coverts texsim aet files to vcd
Usage
mvl2vcd <filename.aet>
Overview
Converts AET files to VCD on stdout. This is experimental as it is not a complete implementation and is not intended for general use.
Releases
4 releases since Debian 3.0 (Woody); the text changed 2 times.