20 Oct
2005
20 Oct
'05
3:37 p.m.
Akim Demaille <akim(a)lrde.epita.fr> disait le 10/20/05 :
Please, use consistent name conventions. For instance
I read
`c-condition', and then ContractC.sdf, and then, prepost.str etc.
I suggest to rename everything as ContractC (contractc) consistently
with the paper.
Done (r1341-1342).