Search results

Bug : Darkmode does not show HB.lock Definition

Status: Open.

#128 In affeldt-aist/rocqnavi;

· yoshihiro503 opened on Nov 12, 2025

Show the Type information of Definitions

wish 🙏Feature requestFeature request

Status: Open.

#99 In affeldt-aist/rocqnavi;

· yoshihiro503 opened on Jun 4, 2025

The graph name of the dependent graph is a constant

Status: Open.

#97 In affeldt-aist/rocqnavi;

· yoshihiro503 opened on May 21, 2025

Compact definition lists

Status: Open.

#95 In affeldt-aist/rocqnavi;

· hoheinzollern opened on May 15, 2025

Clicking on some links lead nowhere

Status: Open.

#71 In affeldt-aist/rocqnavi;

· CohenCyril opened on Dec 11, 2024

coloring scheme to distinguish directories

wish 🙏Feature requestFeature request

Status: Open.

#68 In affeldt-aist/rocqnavi;

· affeldt-aist opened on Nov 13, 2024

avoid horizontal scrolling

wish 🙏Feature requestFeature request

Status: Open.

#66 In affeldt-aist/rocqnavi;

· affeldt-aist opened on Nov 13, 2024

compilation with OCaml 4.11

documentation 📝Improvements or additions to documentationImprovements or additions to documentation

Status: Open.

#49 In affeldt-aist/rocqnavi;

· affeldt-aist opened on Jul 21, 2024

Add documentation for automatic build with GitHub actions

Status: Open.

#35 In affeldt-aist/rocqnavi;

· hoheinzollern opened on Mar 21, 2024

think of a test suite

wish 🙏Feature requestFeature request

Status: Open.

#27 In affeldt-aist/rocqnavi;

· affeldt-aist opened on Feb 9, 2024

link from comments

wish 🙏Feature requestFeature request

Status: Open.

#16 In affeldt-aist/rocqnavi;

· affeldt-aist opened on Jan 8, 2024

table of contents

wish 🙏Feature requestFeature request

Status: Open.

#15 In affeldt-aist/rocqnavi;

· affeldt-aist opened on Jan 8, 2024