Search results

Source links are generated when source code is not passed

Status: Open.

#30 In panglesd/odoc;

· Julow opened on Jan 18, 2023

No local jump inside signatures and types

Status: Open.

#29 In panglesd/odoc;

· Julow opened on Jan 18, 2023

Item inside a module type can't be linked to using shapes

Status: Open.

#28 In panglesd/odoc;

· Julow opened on Jan 18, 2023

Generate a source link when lookup disabled

Status: Open.

#27 In panglesd/odoc;

· Julow opened on Jan 18, 2023

Have more stable <code>uid</code>s as anchor

Status: Open.

#24 In panglesd/odoc;

· panglesd opened on Dec 12, 2022

Local jump to def for types

Status: Open.

#23 In panglesd/odoc;

· panglesd opened on Dec 12, 2022

Verify that the time to build a doc is not increased too much

Status: Open.

#22 In panglesd/odoc;

· panglesd opened on Dec 9, 2022

In module type, everything links to the whole module type

Status: Open.

#21 In panglesd/odoc;

· panglesd opened on Dec 9, 2022