pnas/diagrams/externalization-jobs.sh
author Kevin Walker <kevin@canyon23.net>
Sat, 07 May 2011 09:40:20 -0700
changeset 772 73fc4868c039
parent 676 a9b9094e3b9c
permissions -rwxr-xr-x
string diagrams have stratifications more general than mere cell complexes

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