X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmowgli%2Fhome%2Fxml%2Fpeople%2Fnijmegen%2Fcruz-filipe.xml;h=6ac44eff4b754e7bddd2adece34ef4b6ad98c82e;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=febda7158a75d57fd181645cfc1ab03695e701c0;hpb=d8ad1d26122af00feda930086b6cfa42de0139fe;p=helm.git diff --git a/helm/mowgli/home/xml/people/nijmegen/cruz-filipe.xml b/helm/mowgli/home/xml/people/nijmegen/cruz-filipe.xml index febda7158..6ac44eff4 100644 --- a/helm/mowgli/home/xml/people/nijmegen/cruz-filipe.xml +++ b/helm/mowgli/home/xml/people/nijmegen/cruz-filipe.xml @@ -3,9 +3,9 @@ - Luiz - Crus-Filipe + Luís + Cruz-Filipe Ph.D. Student, Nijmegen - ??? - ??? + lcf@cs.kun.nl + http://www.cs.kun.nl/~lcf