2 Feb
2012
2 Feb
'12
11:29 p.m.
"Carlo" == Carlo Traverso <traverso@posso.dm.unipi.it> writes:
"Keith" == Keith J Schultz <schultzk@uni-trier.de> writes:
Carlo> I no longer have the implementation, but I remember the Carlo> algorithms used. The GUI was borrowed by the DP proofing Carlo> interface. Correct: The GUI was borrowed FROM the DP proofing interface.