100644 blob c8813ca4b116a3ff8f391f1581039ece70576c45	.gitignore
100644 blob 839128a3c9b899ce042882a848c635b4c9999ed7	Makefile
100644 blob 9a282d9364441b3b26a118fb6de89804177a0985	TEST.md
100644 blob 821bc3486bf956c30b1e1102643eafab56cf87a4	conf.py
100644 blob ac07c4d8965af9e7496f1528b6b9a3fe209ba59e	dune
100644 blob 045403c30b1f2ad63ad56f05612a085d1ab5245c	spec-latex.in.tex
100644 blob 4eb2fbd69ff684f0f1bd949dacc512dba648dfe8	spec-sphinx.in.rst