8f84d45dd6c86f345e9f97802a1cda60f44ae493
tiny change in the countable interface which in turn required updating of header file includes in a lot of files. - Some small fixes to TRICS writing as well.
Description
SICS version for SEA (generic part)
Languages
C
77.6%
TeX
8.6%
Tcl
6.7%
CWeb
6%
SWIG
0.6%
Other
0.3%