History log of /seL4-l4v-10.1.1/l4v/camkes/adl-spec/document/intro.tex
Revision Date Author Comments
# 84595f42 17-Jul-2014 Gerwin Klein <gerwin.klein@nicta.com.au>

release cleanup
# 2a03e81d 14-Jul-2014 Gerwin Klein <gerwin.klein@nicta.com.au>

Import release snapshot.