pnas/diagrams/externalization-jobs.sh
author Kevin Walker <kevin@canyon23.net>
Thu, 16 Jun 2011 11:11:41 -0600
changeset 796 d30537de52c7
parent 676 a9b9094e3b9c
permissions -rwxr-xr-x
in the midst of revising a-inf and enriched n-cat axioms; not done yet

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