> > Cool, I've got a pull request in with some getting started instructions. > They're just suggestions, don't take any documentation unless you want it > (or take it then rearrange to suit you). > https://github.com/glacode/yamma/pull/1 >
Merged, thank you! Have you tried it in Windows, or Linux? (I've written yamma in Ubuntu 2016.4 and Ubuntu 2020.4, I've not tried it in Windows, yet) I'll have to use your instructions myself... :-) Glauco -- 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/2d5ead42-d4ef-427e-80cc-3b19ca7547a1n%40googlegroups.com.
