[Xsb-commits] CVS: XSB/packages/altCDF/cdftp tp_debug.h,1.1,NONE tp_debug.none,1.1,NONE

[Terrance S. <ts...@us...>]

Update of /cvsroot/xsb/XSB/packages/altCDF/cdftp
In directory sc8-pr-cvs1:/tmp/cvs-serv2405

Removed Files:
	tp_debug.h tp_debug.none 
Log Message:
These are no longer needed for tableaux tp.


--- tp_debug.h DELETED ---

--- tp_debug.none DELETED ---