diff options
| author | Enrico Tassi | 2018-04-20 11:08:59 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2018-04-20 11:08:59 +0200 |
| commit | b78523ff2c3349e98686871891028069edfa7523 (patch) | |
| tree | c3ca48d343ea1562e04c1614ff97abeda5d5619e /AUTHORS | |
| parent | ed05182cece6bb3706e09b2ce14af4a41a2e8141 (diff) | |
move etc/ files to the root and remove obsolete ones
Diffstat (limited to 'AUTHORS')
| -rw-r--r-- | AUTHORS | 15 |
1 files changed, 15 insertions, 0 deletions
@@ -0,0 +1,15 @@ +Andrea Asperti University of Bologna - Microsoft Inria Joint Centre +Jeremy Avigad Carnegie Mellon University - Microsoft Inria Joint Centre +Yves Bertot Inria Sophia Antipolis - Microsoft Inria Joint Centre +Cyril Cohen LIX École Polytechnique - Microsoft Inria Joint Centre +François Garillot Microsoft Inria Joint Centre +Georges Gonthier Microsoft Research Cambridge - Microsoft Inria Joint Centre +Stéphane Le Roux Microsoft Inria Joint Centre +Assia Mahboubi Inria Saclay - Microsoft Inria Joint Centre +Sidi Ould Biha Inria Sophia Antipolis - Microsoft Inria Joint Centre +Ioana Pasca Inria Sophia Antipolis - Microsoft Inria Joint Centre +Laurence Rideau Inria Sophia Antipolis - Microsoft Inria Joint Centre +Alexey Solovyev University of Pittsburgh +Enrico Tassi Inria Saclay - Microsoft Inria Joint Centre +Laurent Théry Inria Sophia Antipolis - Microsoft Inria Joint Centre +Russell O'Connor Mc Master University - Microsoft Inria Joint Centre |