History log of /seL4-l4v-master/HOL4/src/n-bit/interactive_tests/.gitignore
Revision Date Author Comments
# e48aefc6 17-Nov-2018 Michael Norrish <Michael.Norrish@nicta.com.au>

Fully protect wordsLib's use of parser

Because it is using various functions from Q, it can't just rebind the
Parse structure, but must update the global grammar variable
directly (and then remember to set it back).

With regression test