Just for the sake of clarity: 1. David wrote: >Glauco wrote: >> I've never been able to make LOC_AFTER to work in mmj2 (but for years I've been using a "custom" version, that Mel wrote / maintained for a limited period of time; does LOC_AFTER work in your mmj2 installation?). > >Weird, I never had a problem with LOC_AFTER in mmj2
Yes I'm afraid, Glauco, that LOC_AFTER works fine in mmj2 for me too. 2. Glauco wrote: > Please, let me know if / how I could rewrite the installation instructions so that a TS developer would be able to "compile" the "project" :-) 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 Best regards, Antony -- 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/CAJ48g%2BDq%3DCeH8mgvnfA58--Kaa2wOhqmOwynHh8QpcaXqyJExg%40mail.gmail.com.
