> Il 07/05/20 15:52, Norman Megill ha scritto:
> > Set.mm is not a part of the programs. It is a file of data like a Word
> > or an Excel file. It should be kept in the current directory.
On Thu, 7 May 2020 21:17:16 +0200, Giovanni Mascellani
wrote:
> I tend to agree with this point of view:
On Thu, May 7, 2020 at 12:19 PM Giovanni Mascellani
wrote:
>
> Il 06/05/20 18:40, David A. Wheeler ha scritto:
> > So "\Documents and Settings" was sort-of like /home.
> > This was HIDEOUS for programs and users, because
> > "Documents and Settings" is absurdly long AND has spaces in it,
> >
Il 06/05/20 18:40, David A. Wheeler ha scritto:
> So "\Documents and Settings" was sort-of like /home.
> This was HIDEOUS for programs and users, because
> "Documents and Settings" is absurdly long AND has spaces in it,
> which is pain for Windows shell similar to the pain of Unix shell.
Not to
Hi,
Il 07/05/20 15:52, Norman Megill ha scritto:
> Set.mm is not a part of the programs. It is a file of data like a Word
> or an Excel file. It should be kept in the current directory.
I tend to agree with this point of view: set.mm and any other Metamath
database is just a file like any other
Forwarded Message
Subject: Git
Date: Thu, 7 May 2020 11:45:59 +0200 (CEST)
From: fl
To: Megill Norman
Hi Norm,
Can you post this:
providing only communication through git is not a good Idea. Git should be
reserved forp who wants to modify the programs (Metamath or mmj2).