[spec] formatting for calculus rules

diff --git a/spec/spec-collated.tex b/spec/spec-collated.tex
index d66ece975983a2cf40ff524d6d65e934a4a16a08..225cc8c01920230b2558af383d7d7304c9612027 100644 (file)
--- a/spec/spec-collated.tex
+++ b/spec/spec-collated.tex
@@ -23,6 +23,7 @@
 \usepackage{pgfplots}
 \usepackage{pst-plot}
 \usepackage{rotating}
+%\usepackage{showframe} % debugging only
 \usepackage{subfiles}
 \usepackage{tabularx}
 \usepackage{tcolorbox}