Update displayed attributes, include `protected`

leanprover-community / doc-gen

Generate HTML documentation for mathlib and Lean

Apache License 2.0

21 stars 20 forks source link

Closed robertylewis closed 3 years ago

robertylewis commented 3 years ago

I did this a while back but forgot to PR it, oops.

closes #135