pnas/diagrams/externalization-jobs.sh
author Kevin Walker <kevin@canyon23.net>
Fri, 06 May 2011 14:11:43 -0700
changeset 750 4b1f08238bae
parent 676 a9b9094e3b9c
permissions -rwxr-xr-x
added brief def of monoidal n-cats; killed some old invisible comments

grep -o beginpgfgraphicnamed\{[0-9A-Za-z-]*\} < *.tex | sed -e 's/beginpgfgraphicnamed{//' | sed -e 's/}//'