Hi David, I didn't watch all the way through but it looks much improved. I like that there is now a section covering the !, I had no idea you could delete so much and have it all filled in.
I think you've done a great job in general and all the work has been worth it :) Jon -- 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/c9741c54-3803-4bdf-adc0-f33fc03b513e%40googlegroups.com.
