I want to clarify a key point in my earlier post, "[Metamath] Proposed installation conventions so things will be easier to install".
To make it easier to install mmj2 and other tools, I want to change the conventions so that "set.mm" is by default stored in its *own* directory (I recommend ~/set.mm for non-Windows, C:\set.mm for Windows). Separating code from data, when they're not updated at the same time, makes updates & many other operations much simpler. If you really want to, you can continue to do things the old way. I just want to change the instructions & scripts so this is the *default*. --- David A. Wheeler -- 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/E1jVIDl-0007Un-Pi%40rmmprod06.runbox.
