completed HTML man pages for SPIN PROMELA [ as of corporate 09e5641390953b80f85e60819b62e9c13b9b74e6 ]