2011-05-03 wenzelm more conventional naming scheme: names_long, names_short, names_unique;
2011-05-03 wenzelm railsetup required for IsarRef/style;
2011-05-03 wenzelm fit page;
2011-05-03 wenzelm use existing \<hyphen>;
Loading...
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -4 +4 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip