5 [ @@("index" "home") * ]
6 [ @@("index#foreword" "foreword") * ]
7 [ @@("index#citations" "citations") * ]
11 [ @@("news#milestones" "milestones") * ]
12 [ @@("news#visibility" "visibility") * ]
15 [ @@"documentation" * ]
16 [ @@("documentation#v2" "version 2") * ]
17 [ @@("documentation#v1" "version 1") * ]
20 [ @@"specification" * ]
21 [ @@("specification#v2" "version 2")
22 "(" ^ @@("ground_2" "background") + "-" +
23 @@("basic_2" "core") + "-" +
24 @@("apps_2" "applications") ^ ")"
26 [ @@("specification#v1" "version 1") * ]
29 [ @@"implementation" * ]
30 [ @@("implementation#lddl" "library") * ]
31 [ @@("implementation#helena" "helena") * ]
35 class "capitalize" [ * ]