Spinroot

A forum for Spin users

You are not logged in.

#1 2021-05-12 09:23:54

jllang
Member
From: Finland
Registered: 2021-05-05
Posts: 27

How to spell Spin and Promela

I read from somehwere that Spin stands for Simple Promela Interpreter. Promela stands for Process Meta Language. Should I write these names with all capitals or with just a capitalized initial letter (or perhaps even with small capitals)?

Offline

#2 2021-05-12 17:55:34

spinroot
forum
Registered: 2010-11-18
Posts: 691
Website

Re: How to spell Spin and Promela

Small capitals is common, but the tool and language are so well known now that many just capitalize only the first letter.

Offline

#3 2021-05-13 11:56:58

jllang
Member
From: Finland
Registered: 2021-05-05
Posts: 27

Re: How to spell Spin and Promela

Thanks!

Offline

Board footer

Powered by FluxBB