blob: 193c74c33ddb7f9bf35a7978506a72f0058094c8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
%
% mathsemantics.sty
%
\ProvidesPackage{mathsemantics}[2022/05/06 MathSemantics.sty v1.0.0]
\DeclareOption{shortbb}{%
\PassOptionsToPackage{shortbb}{mathsemantics-syntax}
}
\ProcessOptions\relax
\RequirePackage{mathsemantics-commons}
\RequirePackage{mathsemantics-syntax}
\RequirePackage{mathsemantics-abbreviations}
\RequirePackage{mathsemantics-names}
\RequirePackage{mathsemantics-semantic}
\RequirePackage{mathsemantics-manifolds}
\RequirePackage{mathsemantics-optimization}
|