Skip to content

fix: respect infoview display settings for goals in messages (#734)#789

Open
MohammadYusif wants to merge 1 commit into
leanprover:masterfrom
MohammadYusif:fix/issue-734
Open

fix: respect infoview display settings for goals in messages (#734)#789
MohammadYusif wants to merge 1 commit into
leanprover:masterfrom
MohammadYusif:fix/issue-734

fix: respect infoview display settings for goals in messages (#734)

e392367
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs