History log of /seL4-l4v-10.1.1/l4v/tools/autocorres/Makefile
Revision Date Author Comments
# 1383f4ce 24-Jun-2018 Gerwin Klein <gerwin.klein@data61.csiro.au>

Isabelle2018 autocorres: declare external files
# d4738b07 23-Jun-2018 Gerwin Klein <gerwin.klein@data61.csiro.au>

Isabelle2018: AutoCorresTest
# f8bf97f4 11-Sep-2017 Matthew Brecknell <Matthew.Brecknell@data61.csiro.au>

Isabelle2017: update AutoCorresTest for RC1

Add a "sessions" section to the AutoCorresTest ROOT file, to allow
the IsPrime test to import from HOL-Number_Theory.
# 2a03e81d 14-Jul-2014 Gerwin Klein <gerwin.klein@nicta.com.au>

Import release snapshot.