updated manual with new group types

2024-10-05 01:52:31 +02:00
parent feff030510
commit 3bc103b9d7
4 changed files with 82 additions and 4 deletions
--- a/manual.typ
+++ b/manual.typ
@ -183,7 +183,7 @@ chronos.diagram({
    examples: examples
  )
 )
-#tidy.show-module(grp-docs, show-outline: false)
+#tidy.show-module(grp-docs, show-outline: false, sort-functions: none)

 #pagebreak(weak: true)