pnas/diagrams/externalization-jobs.sh
author Kevin Walker <kevin@canyon23.net>
Mon, 12 Dec 2011 15:01:37 -0800
changeset 961 c57afb230bb1
parent 676 a9b9094e3b9c
permissions -rwxr-xr-x
remove lemma 3.2.3 (support-shrink lemma); it was only used once

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