Oh awesome, thanks for doing that Thierry :) How does the process work, is it a script you have to run? It might be possible to automate it, would be a good thing if it would save you a mundane task.
-- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/4c1b9bbf-3458-4823-9c38-40e3c6e6f047%40googlegroups.com.
