History log of /seL4-l4v-master/isabelle/src/Doc/Eisbach/document/style.sty
Revision Date Author Comments
# 9c06208b 29-Dec-2015 wenzelm <none@none>

eliminated obscure macro that is in conflict with amsmath.sty;
# 2a31bd88 17-May-2015 wenzelm <none@none>

added Eisbach manual, using version 8845c4cb28b6 of its Bitbucket repository;