File: contributions

package info (click to toggle)
tcm 2.20%2BTSQD-6
  • links: PTS
  • area: main
  • in suites: bullseye
  • size: 22,768 kB
  • sloc: ansic: 78,527; sh: 3,618; makefile: 1,345; perl: 753; yacc: 558; lex: 257
file content (8 lines) | stat: -rwxr-xr-x 569 bytes parent folder | download | duplicates (7) 
1
2
3
4
5
6
7
8
 
tcm   date        author              contribution
----  ----------  -----------------   ----------------------------------------
1.99  2000/05/23  Reinhard Max        Page size support for A3 Paper. 
2.01  2000/12/04  Gilles J.Seguin     Fix for #include <string[s].h>
2.01  2000/12/06  Alan Eldridge       Fixing Makefiles etc. for Redhat 7 build
2.10  2002/04/16  Otavio Salvador     Packaging tcm for Debian
2.10  2002/07/07  Jose Canete Valdeon Generating SQDs from NuSMV counterexamples
2.20  2002/10/23  Daniel Boesswetter  "Porting" TCM to Windows :-) (CYGWIN)