Hi, Il 12/07/20 21:42, Norman Megill ha scritto: > While I expect all of the .mm's will be kept updated in the > http://us.metamath.org/metamath/ directory indefinitely, I suggest we > add the missing ones (hol.mm ql.mm demo0.mm miu.mm big-unifier.mm > peano.mm) to the https://github.com/metamath/set.mm directory. That > will put them under version control (they aren't now) and will also be > guaranteed to be the latest (us.metamath.org sometimes lags by a few > days). I will do that tomorrow if there are no objections.
That looks like a good idea to me. > Once these are on github, they can be updated via pull requests with > whatever CC0 wording is desired. > > For nf.mm, I would suggest making a PR with the desired changes, then > wait for Scott Fenton's (@sctfn) approval (if he isn't reading this post > now). Ok, thanks for the suggestions. Giovanni. -- Giovanni Mascellani <[email protected]> Postdoc researcher - Université Libre de Bruxelles -- 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/8ae6ff03-a1ff-bd18-7d49-59ed1cf82d1a%40gmail.com.
signature.asc
Description: OpenPGP digital signature
