/usr/share/doc/sagetex-doc/TODO is in sagetex-doc 3.0+ds-4.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 | * make the #@ thing for sagecommandlinemore flexible; figure out what
happens if you happen to have #@ earlier in the line, etc.
* Nicolas, 25 nov 2011: <20111125231142.GF12879@zephyr> (and other
messages in that thread)
|