Search results

isOpenTopological.Build

enhancement ✨New feature or requestNew feature or request

Status: Open.

#144 In affeldt-aist/rocqnavi;

· affeldt-aist opened on Feb 27, 2026

recipe to generate subdirectory in file dependency graph?

question ❓Further information is requestedFurther information is requested

Status: Open.

#141 In affeldt-aist/rocqnavi;

· affeldt-aist opened on Feb 11, 2026

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

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

links to HB

bug 🐛Something isn't workingSomething isn't working

Status: Open.

#12 In affeldt-aist/rocqnavi;

· affeldt-aist opened on Jan 8, 2024