doc-src/IsarRef/isar-ref.tex
Fri, 29 Jun 2012 15:45:50 +0200 wenzelm default for \<euro> is now based on eurosym package, instead of slightly exotic babel/greek (which causes problems with the Gentoo installation on lxbroy2);
Fri, 01 Jun 2012 13:39:14 +0200 wenzelm use \tocentry as in implementation manual;
less more (0) -30 -10 -2 tip