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 [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel
