History log of /seL4-l4v-master/HOL4/developers/travis/vsmallseq
Revision Date Author Comments
# fcb9856c 19-Feb-2019 Michael Norrish <Michael.Norrish@nicta.com.au>

Make even shorter build seq. file for OpenTheory builds on Travis