This is ok for me. P. 2011/1/19 Hendrik Tews <t...@os.inf.tu-dresden.de>
> 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 >
_______________________________________________ ProofGeneral-devel mailing list ProofGeneral-devel@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel
