History log of /seL4-l4v-10.1.1/l4v/spec/abstract/X64/ArchInterrupt_A.thy
Revision Date Author Comments
# 6b9d9d24 09-Jun-2018 Gerwin Klein <gerwin.klein@data61.csiro.au>

Isabelle2018: new "op x" syntax; now is "(x)"

(result of "isabelle update_op -m <dir>")
# 5bdcbe53 09-Jan-2017 Matthew Brecknell <Matthew.Brecknell@data61.csiro.au>

fix ARM build after merge

Also:
- move some ARM-specific things out of Tcb_AI
- port changes from ARM to X64, up to beginning of ArchVSpace_AI