Main.People History

Hide minor edits - Show changes to output - Cancel

Added line 13:
* Irfan Ahmed
Deleted line 12:
* Mariotti Alessandro
Added line 25:
* Mariotti Alessandro
Added line 27:
* Pensallorto Marco
Added line 6:
* Bittner Benjamin
Deleted line 7:
* Benjamin Bittner
Changed lines 23-25 from:
The list below is a possibly incomplete list of former people
that contributed to the develpment of nuXmv:

to:
Previous contributors
Changed line 28 from:
* Tchaltsev Andrey
to:
* Tchaltsev Andrey
Added line 7:
* Benjamin Bittner
Added line 11:
* Gario Marco
Added lines 20-21:
* Zampedri Gianni
Deleted line 14:
* Narasamdya Iman
Changed lines 16-17 from:
* Schuppan Viktor
* Tchaltsev Andrey
to:
* Sessa Mirko
Added lines 18-25:

The list below is a possibly incomplete list of former people
that contributed to the develpment of nuXmv:

* Giacobbe Mirco
* Narasamdya Iman
* Schuppan Viktor
* Tchaltsev Andrey
June 12, 2011, at 03:24 PM by 94.39.213.133 -
Added lines 1-2:
(:title People :)
June 12, 2011, at 03:06 PM by 94.39.213.133 -
Added lines 1-17:
Currently the development team consists of the following
people:

* Bozzano Marco
* Cavada Roberto
* Cimatti Alessandro
* Dorigatti Michele
* Griggio Alberto
* Mariotti Alessandro
* Mattarei Cristian
* Micheli Andrea
* Mover Sergio
* Narasamdya Iman
* Roveri Marco
* Schuppan Viktor
* Tchaltsev Andrey
* Tonetta Stefano