Diagram.py: allow changing the font size
-rw-r--r-- 6 .gitignore
-rwxr-xr-x 9514 Diagram.py
-rw-r--r-- 164 Makefile
-rwxr-xr-x 10634 RadialSymmetry.py
-rwxr-xr-x 4716 RadialSymmetryDiagram.py
-rw-r--r-- 59 TODO