Hi, I moved about 10 pages, always marking the mediawiki one with [[Category:Transferred_to_GitHub]], but it's quite hard to figure out which page was moved and which wasn't.
So I am going to simply delete those pages. One can always access deleted pages in the history if needed. Once all pages are deleted, it means that all pages are moved. I'll see whether it can be finished today... Ondrej -- You received this message because you are subscribed to the Google Groups "sympy" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/sympy?hl=en.
