/spec/

• ../
• leftovers.txt
• spec.pdf
• spec.tex