/[svn]/cduce/trunk/depend
ViewVC logotype

Diff of /cduce/trunk/depend

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1727 by abate, Tue Jul 10 19:17:31 2007 UTC revision 1734 by abate, Tue Jul 10 19:18:01 2007 UTC
# Line 14  Line 14 
14      misc/pool.cmi      misc/pool.cmi
15  misc/encodings.cmo: misc/serialize.cmi misc/custom.cmo misc/encodings.cmi  misc/encodings.cmo: misc/serialize.cmi misc/custom.cmo misc/encodings.cmi
16  misc/encodings.cmx: misc/serialize.cmx misc/custom.cmx misc/encodings.cmi  misc/encodings.cmx: misc/serialize.cmx misc/custom.cmx misc/encodings.cmi
17    misc/upool.cmo: misc/custom.cmo misc/upool.cmi
18    misc/upool.cmx: misc/custom.cmx misc/upool.cmi
19  misc/pretty.cmo: misc/pretty.cmi  misc/pretty.cmo: misc/pretty.cmi
20  misc/pretty.cmx: misc/pretty.cmi  misc/pretty.cmx: misc/pretty.cmi
21  misc/ns.cmo: misc/state.cmi misc/serialize.cmi misc/pool.cmi \  misc/ns.cmo: misc/upool.cmi misc/state.cmi misc/serialize.cmi \
22      misc/encodings.cmi misc/custom.cmo misc/ns.cmi      misc/encodings.cmi misc/custom.cmo misc/ns.cmi
23  misc/ns.cmx: misc/state.cmx misc/serialize.cmx misc/pool.cmx \  misc/ns.cmx: misc/upool.cmx misc/state.cmx misc/serialize.cmx \
24      misc/encodings.cmx misc/custom.cmx misc/ns.cmi      misc/encodings.cmx misc/custom.cmx misc/ns.cmi
25  misc/inttbl.cmo: misc/inttbl.cmi  misc/inttbl.cmo: misc/inttbl.cmi
26  misc/inttbl.cmx: misc/inttbl.cmi  misc/inttbl.cmx: misc/inttbl.cmi
# Line 40  Line 42 
42  types/intervals.cmx: misc/serialize.cmx types/intervals.cmi  types/intervals.cmx: misc/serialize.cmx types/intervals.cmi
43  types/chars.cmo: misc/custom.cmo types/chars.cmi  types/chars.cmo: misc/custom.cmo types/chars.cmi
44  types/chars.cmx: misc/custom.cmx types/chars.cmi  types/chars.cmx: misc/custom.cmx types/chars.cmi
45  types/atoms.cmo: types/sortedList.cmi misc/pool.cmi misc/ns.cmi misc/imap.cmi \  types/atoms.cmo: misc/upool.cmi types/sortedList.cmi misc/pool.cmi \
46      misc/encodings.cmi misc/custom.cmo types/atoms.cmi      misc/ns.cmi misc/imap.cmi misc/encodings.cmi misc/custom.cmo \
47  types/atoms.cmx: types/sortedList.cmx misc/pool.cmx misc/ns.cmx misc/imap.cmx \      types/atoms.cmi
48      misc/encodings.cmx misc/custom.cmx types/atoms.cmi  types/atoms.cmx: misc/upool.cmx types/sortedList.cmx misc/pool.cmx \
49        misc/ns.cmx misc/imap.cmx misc/encodings.cmx misc/custom.cmx \
50        types/atoms.cmi
51  types/normal.cmo: types/normal.cmi  types/normal.cmo: types/normal.cmi
52  types/normal.cmx: types/normal.cmi  types/normal.cmx: types/normal.cmi
53  types/types.cmo: misc/stats.cmi misc/state.cmi types/sortedList.cmi \  types/types.cmo: misc/stats.cmi misc/state.cmi types/sortedList.cmi \
# Line 83  Line 87 
87      types/intervals.cmx types/ident.cmx misc/encodings.cmx types/chars.cmx \      types/intervals.cmx types/ident.cmx misc/encodings.cmx types/chars.cmx \
88      types/atoms.cmx types/builtin_defs.cmi      types/atoms.cmx types/builtin_defs.cmi
89  compile/lambda.cmo: types/types.cmi misc/serialize.cmi types/patterns.cmi \  compile/lambda.cmo: types/types.cmi misc/serialize.cmi types/patterns.cmi \
90      misc/ns.cmi types/ident.cmo compile/lambda.cmi      misc/ns.cmi misc/imap.cmi types/ident.cmo compile/lambda.cmi
91  compile/lambda.cmx: types/types.cmx misc/serialize.cmx types/patterns.cmx \  compile/lambda.cmx: types/types.cmx misc/serialize.cmx types/patterns.cmx \
92      misc/ns.cmx types/ident.cmx compile/lambda.cmi      misc/ns.cmx misc/imap.cmx types/ident.cmx compile/lambda.cmi
93  runtime/value.cmo: types/types.cmi types/sequence.cmi misc/ns.cmi \  runtime/value.cmo: types/types.cmi types/sequence.cmi misc/ns.cmi \
94      compile/lambda.cmi types/intervals.cmi misc/imap.cmi types/ident.cmo \      compile/lambda.cmi types/intervals.cmi misc/imap.cmi types/ident.cmo \
95      misc/encodings.cmi types/chars.cmi types/atoms.cmi runtime/value.cmi      misc/encodings.cmi types/chars.cmi types/atoms.cmi runtime/value.cmi
# Line 189  Line 193 
193      schema/schema_builtin.cmx misc/ns.cmx types/ident.cmx misc/encodings.cmx \      schema/schema_builtin.cmx misc/ns.cmx types/ident.cmx misc/encodings.cmx \
194      types/builtin_defs.cmx types/atoms.cmx      types/builtin_defs.cmx types/atoms.cmx
195  runtime/load_xml.cmo: runtime/value.cmi parser/url.cmi misc/ns.cmi \  runtime/load_xml.cmo: runtime/value.cmi parser/url.cmi misc/ns.cmi \
196      parser/location.cmi types/ident.cmo misc/encodings.cmi types/atoms.cmi \      parser/location.cmi misc/imap.cmi types/ident.cmo misc/encodings.cmi \
197      runtime/load_xml.cmi      types/atoms.cmi runtime/load_xml.cmi
198  runtime/load_xml.cmx: runtime/value.cmx parser/url.cmx misc/ns.cmx \  runtime/load_xml.cmx: runtime/value.cmx parser/url.cmx misc/ns.cmx \
199      parser/location.cmx types/ident.cmx misc/encodings.cmx types/atoms.cmx \      parser/location.cmx misc/imap.cmx types/ident.cmx misc/encodings.cmx \
200      runtime/load_xml.cmi      types/atoms.cmx runtime/load_xml.cmi
201  runtime/run_dispatch.cmo: runtime/value.cmi types/types.cmi \  runtime/run_dispatch.cmo: runtime/value.cmi types/types.cmi \
202      types/patterns.cmi types/ident.cmo misc/encodings.cmi types/chars.cmi \      types/patterns.cmi misc/imap.cmi types/ident.cmo misc/encodings.cmi \
203      types/atoms.cmi runtime/run_dispatch.cmi      types/chars.cmi types/atoms.cmi runtime/run_dispatch.cmi
204  runtime/run_dispatch.cmx: runtime/value.cmx types/types.cmx \  runtime/run_dispatch.cmx: runtime/value.cmx types/types.cmx \
205      types/patterns.cmx types/ident.cmx misc/encodings.cmx types/chars.cmx \      types/patterns.cmx misc/imap.cmx types/ident.cmx misc/encodings.cmx \
206      types/atoms.cmx runtime/run_dispatch.cmi      types/chars.cmx types/atoms.cmx runtime/run_dispatch.cmi
207  runtime/explain.cmo: runtime/value.cmi types/types.cmi \  runtime/explain.cmo: runtime/value.cmi types/types.cmi \
208      runtime/run_dispatch.cmi types/patterns.cmi types/ident.cmo \      runtime/run_dispatch.cmi types/patterns.cmi misc/imap.cmi types/ident.cmo \
209      misc/encodings.cmi types/chars.cmi types/atoms.cmi runtime/explain.cmi      misc/encodings.cmi types/chars.cmi types/atoms.cmi runtime/explain.cmi
210  runtime/explain.cmx: runtime/value.cmx types/types.cmx \  runtime/explain.cmx: runtime/value.cmx types/types.cmx \
211      runtime/run_dispatch.cmx types/patterns.cmx types/ident.cmx \      runtime/run_dispatch.cmx types/patterns.cmx misc/imap.cmx types/ident.cmx \
212      misc/encodings.cmx types/chars.cmx types/atoms.cmx runtime/explain.cmi      misc/encodings.cmx types/chars.cmx types/atoms.cmx runtime/explain.cmi
213  runtime/print_xml.cmo: runtime/value.cmi types/sequence.cmi \  runtime/print_xml.cmo: runtime/value.cmi types/sequence.cmi \
214      schema/schema_builtin.cmi misc/ns.cmi types/intervals.cmi types/ident.cmo \      schema/schema_builtin.cmi misc/ns.cmi types/intervals.cmi misc/imap.cmi \
215      misc/encodings.cmi types/atoms.cmi runtime/print_xml.cmi      types/ident.cmo misc/encodings.cmi types/atoms.cmi runtime/print_xml.cmi
216  runtime/print_xml.cmx: runtime/value.cmx types/sequence.cmx \  runtime/print_xml.cmx: runtime/value.cmx types/sequence.cmx \
217      schema/schema_builtin.cmx misc/ns.cmx types/intervals.cmx types/ident.cmx \      schema/schema_builtin.cmx misc/ns.cmx types/intervals.cmx misc/imap.cmx \
218      misc/encodings.cmx types/atoms.cmx runtime/print_xml.cmi      types/ident.cmx misc/encodings.cmx types/atoms.cmx runtime/print_xml.cmi
219  runtime/eval.cmo: runtime/value.cmi types/types.cmi typing/typer.cmi \  runtime/eval.cmo: runtime/value.cmi types/types.cmi typing/typer.cmi \
220      schema/schema_common.cmi runtime/run_dispatch.cmi types/patterns.cmi \      schema/schema_common.cmi runtime/run_dispatch.cmi types/patterns.cmi \
221      misc/ns.cmi compile/lambda.cmi types/ident.cmo runtime/explain.cmi \      misc/ns.cmi compile/lambda.cmi misc/imap.cmi types/ident.cmo \
222      runtime/eval.cmi      runtime/explain.cmi runtime/eval.cmi
223  runtime/eval.cmx: runtime/value.cmx types/types.cmx typing/typer.cmx \  runtime/eval.cmx: runtime/value.cmx types/types.cmx typing/typer.cmx \
224      schema/schema_common.cmx runtime/run_dispatch.cmx types/patterns.cmx \      schema/schema_common.cmx runtime/run_dispatch.cmx types/patterns.cmx \
225      misc/ns.cmx compile/lambda.cmx types/ident.cmx runtime/explain.cmx \      misc/ns.cmx compile/lambda.cmx misc/imap.cmx types/ident.cmx \
226      runtime/eval.cmi      runtime/explain.cmx runtime/eval.cmi
227  compile/compile.cmo: types/types.cmi typing/typer.cmi typing/typed.cmo \  compile/compile.cmo: types/types.cmi typing/typer.cmi typing/typed.cmo \
228      misc/serialize.cmi types/patterns.cmi parser/location.cmi \      misc/serialize.cmi types/patterns.cmi parser/location.cmi \
229      compile/lambda.cmi types/ident.cmo runtime/eval.cmi parser/ast.cmo \      compile/lambda.cmi misc/imap.cmi types/ident.cmo runtime/eval.cmi \
230      compile/compile.cmi      parser/ast.cmo compile/compile.cmi
231  compile/compile.cmx: types/types.cmx typing/typer.cmx typing/typed.cmx \  compile/compile.cmx: types/types.cmx typing/typer.cmx typing/typed.cmx \
232      misc/serialize.cmx types/patterns.cmx parser/location.cmx \      misc/serialize.cmx types/patterns.cmx parser/location.cmx \
233      compile/lambda.cmx types/ident.cmx runtime/eval.cmx parser/ast.cmx \      compile/lambda.cmx misc/imap.cmx types/ident.cmx runtime/eval.cmx \
234      compile/compile.cmi      parser/ast.cmx compile/compile.cmi
235  compile/operators.cmo: runtime/value.cmi types/types.cmi typing/typer.cmi \  compile/operators.cmo: runtime/value.cmi types/types.cmi typing/typer.cmi \
236      parser/location.cmi runtime/eval.cmi compile/operators.cmi      parser/location.cmi runtime/eval.cmi compile/operators.cmi
237  compile/operators.cmx: runtime/value.cmx types/types.cmx typing/typer.cmx \  compile/operators.cmx: runtime/value.cmx types/types.cmx typing/typer.cmx \
# Line 354  Line 358 
358      runtime/cduce_pxp.cmi      runtime/cduce_pxp.cmi
359  misc/pool.cmi: misc/custom.cmo  misc/pool.cmi: misc/custom.cmo
360  misc/encodings.cmi: misc/serialize.cmi misc/custom.cmo  misc/encodings.cmi: misc/serialize.cmi misc/custom.cmo
361  misc/ns.cmi: misc/serialize.cmi misc/encodings.cmi misc/custom.cmo  misc/upool.cmi: misc/serialize.cmi misc/custom.cmo
362    misc/ns.cmi: misc/upool.cmi misc/serialize.cmi misc/encodings.cmi \
363        misc/custom.cmo
364  types/sortedList.cmi: misc/serialize.cmi misc/custom.cmo  types/sortedList.cmi: misc/serialize.cmi misc/custom.cmo
365  misc/bool.cmi: misc/custom.cmo  misc/bool.cmi: misc/custom.cmo
366  types/boolean.cmi: misc/custom.cmo  types/boolean.cmi: misc/custom.cmo
# Line 370  Line 376 
376  compile/auto_opt.cmi: types/types.cmi types/patterns.cmi  compile/auto_opt.cmi: types/types.cmi types/patterns.cmi
377  types/builtin_defs.cmi: types/types.cmi types/ident.cmo types/atoms.cmi  types/builtin_defs.cmi: types/types.cmi types/ident.cmo types/atoms.cmi
378  compile/lambda.cmi: types/types.cmi misc/serialize.cmi types/patterns.cmi \  compile/lambda.cmi: types/types.cmi misc/serialize.cmi types/patterns.cmi \
379      misc/ns.cmi types/ident.cmo      misc/ns.cmi misc/imap.cmi types/ident.cmo
380  runtime/value.cmi: types/types.cmi misc/ns.cmi compile/lambda.cmi \  runtime/value.cmi: types/types.cmi misc/ns.cmi compile/lambda.cmi \
381      types/intervals.cmi misc/imap.cmi types/ident.cmo misc/encodings.cmi \      types/intervals.cmi misc/imap.cmi types/ident.cmo misc/encodings.cmi \
382      types/chars.cmi types/atoms.cmi      types/chars.cmi types/atoms.cmi
Legend:
Removed from v.1727  
changed lines
  Added in v.1734
CVS Admin">CVS Admin
 ViewVC Help
Powered by ViewVC 1.1.5