History log of /seL4-l4v-master/l4v/lib/defs.ML
Revision Date Author Comments
# a424d55e 09-Mar-2020 Gerwin Klein <gerwin.klein@data61.csiro.au>

licenses: convert license tags to SPDX
# 93adccc1 30-May-2016 Alejandro Gomez-Londono <alejandro.gomez@nicta.com.au>

license-tool: missing license headers + .licenseignore [VER-551]
# 19ef4d3e 31-Mar-2016 Daniel Matichuk <daniel.matichuk@nicta.com.au>

arch_split: localized defs and new consts' for following namespacing conventions with generated design spec
# b214ac03 17-Jan-2016 Daniel Matichuk <daniel.matichuk@nicta.com.au>

resurrected "defs" command for Isabelle2016-RC1