nimble-code / Spin

Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Typo in Man/Intro.html

rillig opened this issue · comments

The file Man/html_manual_pages.tar.gz/Intro.html says:

A sixt section gives a brief motivation

The word sixt should be sixth.

I would have sent a pull request, but I was unsure why the manual pages are in an archive instead of being directly editable and what the best way would be to fix typos in them.