added minitoc to norm
fixed some bugs, added et al and hoare; added appendix options