1
tcm date author contribution
2
---- ---------- ----------------- ----------------------------------------
3
1.99 2000/05/23 Reinhard Max Page size support for A3 Paper.
4
2.01 2000/12/04 Gilles J.Seguin Fix for #include <string[s].h>
5
2.01 2000/12/06 Alan Eldridge Fixing Makefiles etc. for Redhat 7 build
6
2.10 2002/04/16 Otavio Salvador Packaging tcm for Debian
7
2.10 2002/07/07 Jose Canete Valdeon Generating SQDs from NuSMV counterexamples
8
2.20 2002/10/23 Daniel Boesswetter "Porting" TCM to Windows :-) (CYGWIN)