this is for holding javascript data
Rory Hopkins Changed Figure Size
about 8 years ago
Commit id: f447deb103925a83b8eb690aaac30c7e9cf84ad0
deletions | additions
diff --git a/figures/Derivation1/size.tex b/figures/Derivation1/size.tex
index 2fcf78b..ed514c3 100644
--- a/figures/Derivation1/size.tex
+++ b/figures/Derivation1/size.tex
...
height = 700\nwidth = 500 width=400
