History log of /seL4-l4v-10.1.1/isabelle/src/Tools/jEdit/src-base/Isabelle_Base.props
Revision Date Author Comments
# 07bf3e5b 06-Jun-2018 wenzelm <none@none>

updated for release;
# b3db006c 21-Aug-2017 wenzelm <none@none>

tuned;
# e1364dc4 21-Aug-2017 wenzelm <none@none>

added missing file (cf. 9098c36abd1a);