]> matita.cs.unibo.it Git - helm.git/history - DEVEL/lablgtkmathview/AUTHORS
Behaviour of CicRefine.type_of_aux' on MutCases changed: branches are now
[helm.git] / DEVEL / lablgtkmathview / AUTHORS
2006-09-11 Stefano Zacchiroliadded me as an author, better formatting of debian...
2006-02-02 Stefano Zacchirolireorganization continues ...