History log of /seL4-l4v-master/isabelle/src/Pure/Isar/line_structure.scala
Revision Date Author Comments
# c038c5d3 31-Jul-2018 wenzelm <none@none>

tuned signature;
# 343f4944 23-Jun-2017 wenzelm <none@none>

more information;
# 5970d745 04-Aug-2016 wenzelm <none@none>

clarified modules;