Hi,

I updated the section/node "Using file variables" in the docs
because the examples were misleading. I am not sure about the
original intend, somebody might want to check...

Bye,

Hendrik
_______________________________________________
ProofGeneral-devel mailing list
ProofGeneral-devel@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel

Reply via email to