source: .project @ 58167

Revision 58167, 8.0 KB checked in by hritcu, 4 months ago (diff)

Old stuff from my Mac
Line 
1<?xml version="1.0" encoding="UTF-8"?>
2<projectDescription>
3        <name>zk-typechecker</name>
4        <comment></comment>
5        <projects>
6        </projects>
7        <buildSpec>
8                <buildCommand>
9                        <name>Ocaml.ocamlMakefileBuilder</name>
10                        <arguments>
11                        </arguments>
12                </buildCommand>
13        </buildSpec>
14        <natures>
15                <nature>ocaml.ocamlnatureMakefile</nature>
16        </natures>
17        <linkedResources>
18                <link>
19                        <name>.DebuggerSourceLookup/printf.ml</name>
20                        <type>1</type>
21                        <location>/usr/local/lib/ocaml/printf.ml</location>
22                </link>
23                <link>
24                        <name>.DebuggerSourceLookup/string.ml</name>
25                        <type>1</type>
26                        <location>/usr/local/lib/ocaml/string.ml</location>
27                </link>
28                <link>
29                        <name>.DebuggerSourceLookup/filename.ml</name>
30                        <type>1</type>
31                        <location>/usr/local/lib/ocaml/filename.ml</location>
32                </link>
33                <link>
34                        <name>.DebuggerSourceLookup/complex.ml</name>
35                        <type>1</type>
36                        <location>/usr/local/lib/ocaml/complex.ml</location>
37                </link>
38                <link>
39                        <name>.HyperlinksLinkedFiles/pervasives.mli</name>
40                        <type>1</type>
41                        <location>/usr/local/lib/ocaml/pervasives.mli</location>
42                </link>
43                <link>
44                        <name>.DebuggerSourceLookup/int32.ml</name>
45                        <type>1</type>
46                        <location>/usr/local/lib/ocaml/int32.ml</location>
47                </link>
48                <link>
49                        <name>.DebuggerSourceLookup/callback.ml</name>
50                        <type>1</type>
51                        <location>/usr/local/lib/ocaml/callback.ml</location>
52                </link>
53                <link>
54                        <name>.DebuggerSourceLookup/camlinternalOO.ml</name>
55                        <type>1</type>
56                        <location>/usr/local/lib/ocaml/camlinternalOO.ml</location>
57                </link>
58                <link>
59                        <name>.DebuggerSourceLookup/parsing.ml</name>
60                        <type>1</type>
61                        <location>/usr/local/lib/ocaml/parsing.ml</location>
62                </link>
63                <link>
64                        <name>.DebuggerSourceLookup/pervasives.ml</name>
65                        <type>1</type>
66                        <location>/usr/local/lib/ocaml/pervasives.ml</location>
67                </link>
68                <link>
69                        <name>.DebuggerSourceLookup/int64.ml</name>
70                        <type>1</type>
71                        <location>/usr/local/lib/ocaml/int64.ml</location>
72                </link>
73                <link>
74                        <name>.DebuggerSourceLookup/camlinternalMod.ml</name>
75                        <type>1</type>
76                        <location>/usr/local/lib/ocaml/camlinternalMod.ml</location>
77                </link>
78                <link>
79                        <name>.HyperlinksLinkedFiles/environment.ml</name>
80                        <type>1</type>
81                        <location>/Users/hritcu/InfSec/projects/zk-typechecker/src/environment.ml</location>
82                </link>
83                <link>
84                        <name>.DebuggerSourceLookup/buffer.ml</name>
85                        <type>1</type>
86                        <location>/usr/local/lib/ocaml/buffer.ml</location>
87                </link>
88                <link>
89                        <name>.HyperlinksLinkedFiles/typeterm.ml</name>
90                        <type>1</type>
91                        <location>/Users/hritcu/InfSec/projects/zk-typechecker/src/typeterm.ml</location>
92                </link>
93                <link>
94                        <name>.HyperlinksLinkedFiles/list.mli</name>
95                        <type>1</type>
96                        <location>/usr/local/lib/ocaml/list.mli</location>
97                </link>
98                <link>
99                        <name>.DebuggerSourceLookup/map.ml</name>
100                        <type>1</type>
101                        <location>/usr/local/lib/ocaml/map.ml</location>
102                </link>
103                <link>
104                        <name>.DebuggerSourceLookup/list.ml</name>
105                        <type>1</type>
106                        <location>/usr/local/lib/ocaml/list.ml</location>
107                </link>
108                <link>
109                        <name>.DebuggerSourceLookup/weak.ml</name>
110                        <type>1</type>
111                        <location>/usr/local/lib/ocaml/weak.ml</location>
112                </link>
113                <link>
114                        <name>.DebuggerSourceLookup/set.ml</name>
115                        <type>1</type>
116                        <location>/usr/local/lib/ocaml/set.ml</location>
117                </link>
118                <link>
119                        <name>.DebuggerSourceLookup/stack.ml</name>
120                        <type>1</type>
121                        <location>/usr/local/lib/ocaml/stack.ml</location>
122                </link>
123                <link>
124                        <name>.DebuggerSourceLookup/stdLabels.ml</name>
125                        <type>1</type>
126                        <location>/usr/local/lib/ocaml/stdLabels.ml</location>
127                </link>
128                <link>
129                        <name>.DebuggerSourceLookup/oo.ml</name>
130                        <type>1</type>
131                        <location>/usr/local/lib/ocaml/oo.ml</location>
132                </link>
133                <link>
134                        <name>.DebuggerSourceLookup/scanf.ml</name>
135                        <type>1</type>
136                        <location>/usr/local/lib/ocaml/scanf.ml</location>
137                </link>
138                <link>
139                        <name>.DebuggerSourceLookup/genlex.ml</name>
140                        <type>1</type>
141                        <location>/usr/local/lib/ocaml/genlex.ml</location>
142                </link>
143                <link>
144                        <name>.DebuggerSourceLookup/stream.ml</name>
145                        <type>1</type>
146                        <location>/usr/local/lib/ocaml/stream.ml</location>
147                </link>
148                <link>
149                        <name>.DebuggerSourceLookup/gc.ml</name>
150                        <type>1</type>
151                        <location>/usr/local/lib/ocaml/gc.ml</location>
152                </link>
153                <link>
154                        <name>.DebuggerSourceLookup/arg.ml</name>
155                        <type>1</type>
156                        <location>/usr/local/lib/ocaml/arg.ml</location>
157                </link>
158                <link>
159                        <name>.HyperlinksLinkedFiles/alpha.ml</name>
160                        <type>1</type>
161                        <location>/Users/hritcu/InfSec/projects/zk-typechecker/src/alpha.ml</location>
162                </link>
163                <link>
164                        <name>.DebuggerSourceLookup/digest.ml</name>
165                        <type>1</type>
166                        <location>/usr/local/lib/ocaml/digest.ml</location>
167                </link>
168                <link>
169                        <name>.HyperlinksLinkedFiles/spass.ml</name>
170                        <type>1</type>
171                        <location>/Users/hritcu/InfSec/projects/zk-typechecker/src/spass.ml</location>
172                </link>
173                <link>
174                        <name>.DebuggerSourceLookup/marshal.ml</name>
175                        <type>1</type>
176                        <location>/usr/local/lib/ocaml/marshal.ml</location>
177                </link>
178                <link>
179                        <name>.DebuggerSourceLookup/format.ml</name>
180                        <type>1</type>
181                        <location>/usr/local/lib/ocaml/format.ml</location>
182                </link>
183                <link>
184                        <name>.DebuggerSourceLookup/lazy.ml</name>
185                        <type>1</type>
186                        <location>/usr/local/lib/ocaml/lazy.ml</location>
187                </link>
188                <link>
189                        <name>.HyperlinksLinkedFiles/str.mli</name>
190                        <type>1</type>
191                        <location>/usr/local/lib/ocaml/str.mli</location>
192                </link>
193                <link>
194                        <name>.DebuggerSourceLookup/moreLabels.ml</name>
195                        <type>1</type>
196                        <location>/usr/local/lib/ocaml/moreLabels.ml</location>
197                </link>
198                <link>
199                        <name>.DebuggerSourceLookup/sort.ml</name>
200                        <type>1</type>
201                        <location>/usr/local/lib/ocaml/sort.ml</location>
202                </link>
203                <link>
204                        <name>.HyperlinksLinkedFiles/syntax.ml</name>
205                        <type>1</type>
206                        <location>/Users/hritcu/InfSec/projects/zk-typechecker/src/syntax.ml</location>
207                </link>
208                <link>
209                        <name>.DebuggerSourceLookup/random.ml</name>
210                        <type>1</type>
211                        <location>/usr/local/lib/ocaml/random.ml</location>
212                </link>
213                <link>
214                        <name>.DebuggerSourceLookup/sys.ml</name>
215                        <type>1</type>
216                        <location>/usr/local/lib/ocaml/sys.ml</location>
217                </link>
218                <link>
219                        <name>.DebuggerSourceLookup/lexing.ml</name>
220                        <type>1</type>
221                        <location>/usr/local/lib/ocaml/lexing.ml</location>
222                </link>
223                <link>
224                        <name>.DebuggerSourceLookup/std_exit.ml</name>
225                        <type>1</type>
226                        <location>/usr/local/lib/ocaml/std_exit.ml</location>
227                </link>
228                <link>
229                        <name>.DebuggerSourceLookup/arrayLabels.ml</name>
230                        <type>1</type>
231                        <location>/usr/local/lib/ocaml/arrayLabels.ml</location>
232                </link>
233                <link>
234                        <name>.DebuggerSourceLookup/nativeint.ml</name>
235                        <type>1</type>
236                        <location>/usr/local/lib/ocaml/nativeint.ml</location>
237                </link>
238                <link>
239                        <name>.DebuggerSourceLookup/listLabels.ml</name>
240                        <type>1</type>
241                        <location>/usr/local/lib/ocaml/listLabels.ml</location>
242                </link>
243                <link>
244                        <name>.DebuggerSourceLookup/queue.ml</name>
245                        <type>1</type>
246                        <location>/usr/local/lib/ocaml/queue.ml</location>
247                </link>
248                <link>
249                        <name>.DebuggerSourceLookup/obj.ml</name>
250                        <type>1</type>
251                        <location>/usr/local/lib/ocaml/obj.ml</location>
252                </link>
253                <link>
254                        <name>.DebuggerSourceLookup/char.ml</name>
255                        <type>1</type>
256                        <location>/usr/local/lib/ocaml/char.ml</location>
257                </link>
258                <link>
259                        <name>.DebuggerSourceLookup/hashtbl.ml</name>
260                        <type>1</type>
261                        <location>/usr/local/lib/ocaml/hashtbl.ml</location>
262                </link>
263                <link>
264                        <name>.HyperlinksLinkedFiles/replace.ml</name>
265                        <type>1</type>
266                        <location>/Users/hritcu/InfSec/projects/zk-typechecker/src/replace.ml</location>
267                </link>
268                <link>
269                        <name>.DebuggerSourceLookup/array.ml</name>
270                        <type>1</type>
271                        <location>/usr/local/lib/ocaml/array.ml</location>
272                </link>
273                <link>
274                        <name>.DebuggerSourceLookup/printexc.ml</name>
275                        <type>1</type>
276                        <location>/usr/local/lib/ocaml/printexc.ml</location>
277                </link>
278                <link>
279                        <name>.DebuggerSourceLookup/stringLabels.ml</name>
280                        <type>1</type>
281                        <location>/usr/local/lib/ocaml/stringLabels.ml</location>
282                </link>
283                <link>
284                        <name>.HyperlinksLinkedFiles/logmanager.ml</name>
285                        <type>1</type>
286                        <location>/Users/hritcu/InfSec/projects/zk-typechecker/src/logmanager.ml</location>
287                </link>
288        </linkedResources>
289</projectDescription>
Note: See TracBrowser for help on using the repository browser.