On a previous post I described how to change the LaTeX options of the
I collaborate with a colleague, who uses the standard
cadabra installation. Therefore, If I write a Cadabra notebook, he needs to pullback the personalised notebook to the standard one. The pullback script can be downloaded here!!!