unification/jfp.layout at master · amblafont/unification · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
#\DeclareLaTeXClass[jfp]{Journal of functional programming}

Input acmart.layout

Style Proof
        Category              Reasoning
        Margin                First_Dynamic
        LatexType             Environment
        LatexName             proofWithAlternative
        NextNoIndent          1
        ResetArgs             1
        Argument 1
                LabelString   "Alternative Proof String"
                Tooltip       "Alternative proof string"
        EndArgument
        LabelSep              xx
        ParIndent             MMM
        ParSkip               0.4
        ItemSep               0.2
        TopSep                0.7
        BottomSep             0.7
        ParSep                0.3
        Align                 Block
        AlignPossible         Block, Left
        LabelType             Static
        LabelString           "Proof."
        EndLabelType          Box
        Font
          Shape               Up
          Size                Normal
        EndFont
        LabelFont
          Shape               Italic
        EndFont
End