Re: [Metamath] Proposal: Change mmj2's CLI

2020-05-11 Thread Jim Kingdon
Sounds good to me. Glad to see this getting some attention - I have figured out the status quo of wrangling RunParms.txst stuff and the like, but it is harder than it has to be to switch between set.mm and iset.mm, for example. On 5/11/20 6:16 PM, David A. Wheeler wrote: I've been working on

[Metamath] Proposal: Change mmj2's CLI

2020-05-11 Thread David A. Wheeler
I've been working on getting it easier to get started with the mmj2 tool. Part of the problem with mmj2 is that it has a very baroque, nonstandard command line interface (CLI). This is one reason why I was seeking a "standard" location for set.mm, because unlike most programs, the current mmj2

[Metamath] (FL) Words, Commons and binomial

2020-05-11 Thread Norman Megill
Forwarded Message Subject: Words, Commons and binomial Date: Mon, 11 May 2020 14:37:55 +0200 (CEST) From: fl To: Megill Norman Hi Norm, could you post this: I think all what is related to words should be gathered in the "Commons" part of set.mm so that we can have a