On 23 September 2012 15:03, William Stein <wst...@gmail.com> wrote: > On Sun, Sep 23, 2012 at 6:57 AM, John Cremona <john.crem...@gmail.com> wrote: >> About prefixing symbols: is there an automatic way to do this or is >> it a question of editing all source files (tedious and prone to >> error)? And how does it related to using namespaces? > > From the original post: "LibGAP does the prefixing with a script using > the python ply module to identify the globals."
Thanks, I had missed that. John > > - William > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To post to this group, send email to sage-devel@googlegroups.com. To unsubscribe from this group, send email to sage-devel+unsubscr...@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel?hl=en.
