History log of /seL4-l4v-master/l4v/isabelle/src/Pure/PIDE/protocol_message.ML
Revision Date Author Comments
# 41d2f7e6 19-Oct-2019 wenzelm <none@none>

proper protocol_message for bootstrap proofs;
# 43d1f634 16-Mar-2015 wenzelm <none@none>

tuned protocol -- resolve command positions in ML;