This repository was archived by the owner on May 2, 2018. It is now read-only.
Repository navigation
Expand file tree
/
Copy pathbuild.msl
More file actions
127 lines (117 loc) · 3.58 KB
/
Copy pathbuild.msl
File metadata and controls
127 lines (117 loc) · 3.58 KB
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
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
// This is an MMT script that builds this project. It can be run by checking out MMT at https://svn.kwarc.info/repos/MMT/deploy and running MMT using the shell scripts given there.
log console
//log file build.log
//log+ presenter
//log+ backend
//log+ controller
//log+ extman
//log+ reader
log+ archive
log+ steximporter
//log+ checker
//log+ object-checker
//log+ query
//log+ catalog
//log+ server
//log+ uom
//log+ abox
//log+ structure-parser
//log+ parser
//log+ scanner
//log+ lf
extension info.kwarc.mmt.planetary.PlanetaryPlugin
extension info.kwarc.mmt.planetary.PlanetaryPresenter
//extension info.kwarc.mmt.api.archives.GraphViz "/usr/bin/dot"
extension info.kwarc.mmt.stex.STeXImporter
extension info.kwarc.mmt.lf.Plugin
//archive add MMT/urtheories
//build MMT/urtheories mmt-omdoc
//archive urtheories relational
//build urtheories narration-svg
//archive add HOLLight/basic
//build HOLLight/basic mmt-omdoc
//archive HOLLight/basic relational
//build HOLLight/basic narration-svg
//archive add Mizar/MML
//build HOLLight/basic mmt-omdoc
//archive Mizar/MML relational
//build Mizar/MML narration-svg
//archive add smglom/algebra/
//archive add smglom/calculus/
//archive add smglom/geometry/
//archive add smglom/graphs/
//archive add smglom/linear-algebra/
//archive add smglom/magic/
archive add smglom/mv/
//archive add smglom/numberfields/
//archive add smglom/numbers/
//archive add smglom/primes/
//archive add smglom/sets/
//archive add smglom/smglom/
//archive add smglom/topology/
//archive add smglom/trigonometry/
//archive add MMT/urtheories/
//archive add MMT/examples/
//build MMT/urtheories mmt-omdoc
//archive MMT/urtheories relational
//build MMT/urtheories narration-svg
//build MMT/examples mmt-omdoc
//archive MMT/examples relational
//build MMT/examples narration-svg
//build smglom/algebra stex-omdoc
//archive smglom/algebra relational
//build smglom/algebra svg
//build smglom/algebra planetary
//build smglom/calculus stex-omdoc
//archive smglom/calculus relational
//build smglom/calculus svg
//build smglom/calculus planetary
//build smglom/geometry stex-omdoc
//archive smglom/geometry relational
//build smglom/geometry svg
//build smglom/geometry planetary
//build smglom/graphs stex-omdoc
//archive smglom/graphs relational
//build smglom/graphs svg
//build smglom/graphs planetary
//build smglom/linear-algebra stex-omdoc
//archive smglom/linear-algebra relational
//build smglom/linear-algebra svg
//build smglom/linear-algebra planetary
//build smglom/magic stex-omdoc
//archive smglom/magic relational
//build smglom/magic svg
//build smglom/magic planetary
build smglom/mv stex-omdoc
archive smglom/mv relational
//build smglom/mv svg
build smglom/mv planetary
//build smglom/numberfields stex-omdoc
//archive smglom/numberfields relational
//build smglom/numberfields svg
//build smglom/numberfields planetary
//build smglom/numbers stex-omdoc
//archive smglom/numbers relational
//build smglom/numbers svg
//build smglom/numbers planetary
//build smglom/primes stex-omdoc
//archive smglom/primes relational
//build smglom/primes svg
//build smglom/primes planetary
//build smglom/sets stex-omdoc
//archive smglom/sets relational
//build smglom/sets svg
//build smglom/sets planetary
//build smglom/smglom stex-omdoc
//archive smglom/smglom relational
//build smglom/smglom svg
//build smglom/smglom planetary
//build smglom/topology stex-omdoc
//archive smglom/topology relational
//build smglom/topology svg
//build smglom/topology planetary
//build smglom/trigonometry stex-omdoc
//archive smglom/trigonometry relational
//build smglom/trigonometry svg
//build smglom/trigonometry planetary
exit