blob: e83935d50d63791c0c33df5218bb1ab6bcead552 (
plain)
1
2
3
4
5
|
% Wrapper for backwards compatibility
\RequirePackage{bussproofs-extra}
\PackageWarning{bussproofs-extra}{You've loaded bussproofs with
bpextra, but you should use bussproofs-extra instead}
|