History log of /seL4-l4v-master/l4v/isabelle/src/Pure/General/logger.scala
Revision Date Author Comments
# 00c6d01f 25-May-2017 wenzelm <none@none>

more operations;
# 906025e0 19-Dec-2016 wenzelm <none@none>

clarified modules;

--HG--
rename : src/Tools/VSCode/src/logger.scala => src/Pure/General/logger.scala