2 commits

Author	SHA1	Message	Date
asau	6ebceaf75d	Drop PKG_DESTDIR_SUPPORT setting, "user-destdir" is default these days.	2012-10-08 13:45:34 +00:00
is	b727022bcd	Shaded theorem environment.	2012-09-12 16:00:31 +00:00