]> matita.cs.unibo.it Git - helm.git/blob - helm/mowgli/home/xml/people/nijmegen/barreiro.xml
projects / helm.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
ocaml 3.09 transition
[helm.git] / helm / mowgli / home / xml / people / nijmegen / barreiro.xml
1 <?xml version="1.0"?>
2
3 <!DOCTYPE person SYSTEM "../person.dtd">
4
5 <person>
6  <name>Ernesto Reinaldo</name>
7  <surname>Barreiro</surname>
8  <position>Ph.D. Student, Eindhoven</position>
9  <e-mail>ereinald@win.tue.nl</e-mail>
10 </person>
Unnamed repository; edit this file 'description' to name the repository.