changeset 11658 | 4200394242c5 |
parent 11515 | a111174ce789 |
child 11664 | eaac65411529 |
11657:03c4a5c08a79 | 11658:4200394242c5 |
---|---|
10 Locale.setup @ |
10 Locale.setup @ |
11 HTML.setup @ |
11 HTML.setup @ |
12 ProofContext.setup @ |
12 ProofContext.setup @ |
13 Attrib.setup @ |
13 Attrib.setup @ |
14 Method.setup @ |
14 Method.setup @ |
15 InductAttrib.setup @ |
|
15 Calculation.setup @ |
16 Calculation.setup @ |
16 SkipProof.setup @ |
17 SkipProof.setup @ |
17 AxClass.setup @ |
18 AxClass.setup @ |
18 Latex.setup @ |
19 Latex.setup @ |
19 Present.setup @ |
20 Present.setup @ |