Jon Eugster 2c2c6a0c5e Merge pull request #79 from leanprover-community/automatic_inventory_doc ...

add automatic inventory doc

2023-05-26 16:02:02 +02:00

..

public

fix viewport scale

2023-05-04 15:29:13 +02:00

src

Merge pull request #79 from leanprover-community/automatic_inventory_doc

2023-05-26 16:02:02 +02:00