blob: 2b7425fe2a29f6074ebd358f1138c7fe9c8ab59d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
boxes.cmi: parser.cmi
latexcode.cmi: boxes.cmi picture.cmi
boxes.cmo: parser.cmi boxes.cmi
boxes.cmx: parser.cmx boxes.cmi
latexcode.cmo: boxes.cmi picture.cmi latexcode.cmi
latexcode.cmx: boxes.cmx picture.cmx latexcode.cmi
lexer.cmo: lexer.cmi
lexer.cmx: lexer.cmi
main.cmo: boxes.cmi latexcode.cmi parser.cmi picture.cmi
main.cmx: boxes.cmx latexcode.cmx parser.cmx picture.cmx
parser.cmo: lexer.cmi parser.cmi
parser.cmx: lexer.cmx parser.cmi
picture.cmo: picture.cmi
picture.cmx: picture.cmi
|