Hello Rob, I'm still here!
Mark.
On 06/11/2023 00:54, Rob Arthan wrote:
This is an attempt to investigate what happened to the ProofPower
mailing list and to see if I can bring it back to life.
If you get this message please reply.
Best regards,
Rob.
I got the email!
Regards,
Jon Lockhart
On Mon, Nov 6, 2023, 6:25 PM Phil Clayton wrote:
> Received! (By both my email addresses - it seems I am doubly subscribed!)
>
> Phil
>
> On 06/11/2023 00:54, Rob Arthan wrote:
> > This is an attempt to investigate what happened to the ProofPower
> mailin
On 07/11/2023 10:09, Makarius wrote:
I first heard of "Unicode" approx. 1990. Everybody was talking about
"wide charaters" (16bit) and made moves to support them (e.g. major
Unix vendors and MicroSoft). That was the time of now obsolete UCS16:
"16bit should be sufficient for everyone, i.e. ever
On 06/11/2023 02:19, Rob Arthan wrote:
One bit of burrowing inside instigated by the developers rather than the users
began a few years ago: an experimental port of ProofPower to use Unicode and
UTF-8 for mathematical symbols in place of the ad hoc character set that we had
to invent for ours
