search

au-ts / cogent

Cogent Project
https://trustworthy.systems/projects/TS/cogent.pml
Other
158 stars 26 forks source link

minor corrections to the Cogent manual #328

Closed gteege closed 4 years ago

zilinc commented 4 years ago

Cherry-picked and squashed, to avoid mergeing.