100644 blob 97d382138f6d9c22e4cbc91bb6e46e61958631b4	.gitignore
100644 blob 5d3e64a2a955c1c6cb5ba60c0e481b3c8899e289	Makefile
100644 blob b90dc6a196b03b16fac62da9621e28723ce1913f	capDL.tex
040000 tree ab856841627251449c9d5f6a6a450fce5bcb0d45	imgs
100644 blob b132b9c8e08034727e14b07be2bbf7c053da85e5	sel4.sty