Branches - origin: https://github.com/flyspeck/flyspeck

visit type:

Name	Target	Message	Date
HEAD	05bd666	minuscule edits (#5) * edit README - replace 'stament' with 'statement' * Edit build.hl -- add period at end of sentence	26 November 2020, 19:53:58 UTC
refs/heads/develop	24d2c55	Misc	18 September 2019, 23:09:23 UTC
refs/heads/master	05bd666	minuscule edits (#5) * edit README - replace 'stament' with 'statement' * Edit build.hl -- add period at end of sentence	26 November 2020, 19:53:58 UTC
refs/heads/native	e56f445	Merge branch 'develop' into native	18 September 2019, 06:01:51 UTC