20 Oct
2005
20 Oct
'05
1:37 p.m.
Akim Demaille <akim@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).