History log of /seL4-l4v-master/l4v/isabelle/lib/texinputs/railsetup.sty
Revision Date Author Comments
# 1cfed7e3 03-May-2011 wenzelm <none@none>

final \makeatother -- catcodes appear to be global;
# e333d046 02-May-2011 wenzelm <none@none>

just one railsetup.sty which is shipped with the official distribution to accompany @{rail} in Pure;

--HG--
rename : doc-src/rail.sty => lib/texinputs/railsetup.sty