History log of /seL4-l4v-10.1.1/l4v/CONTRIBUTORS.md
Revision Date Author Comments
# 0b9f61c2 11-Feb-2017 Gerwin Klein <gerwin.klein@data61.csiro.au>

bring CONTRIBUTORS up to date

(including new Data61 affiliations)
# 95ac56bf 15-Oct-2015 Matthew Fernandez <matthew.fernandez@nicta.com.au>

Add missing contributors.
# 030fb869 13-Oct-2015 Gerwin Klein <gerwin.klein@nicta.com.au>

add last 2 pull requests to contributors list
# 2834bd4d 08-Aug-2014 Gerwin Klein <gerwin.klein@nicta.com.au>

add Lars' contribution
# 246ef588 07-Aug-2014 Gerwin Klein <gerwin.klein@nicta.com.au>

Proof contributors