5 [ @@("html/home" "home") * ]
6 [ @@("html/home#foreword" "foreword") * ]
7 [ @@("html/home#citations" "citations") * ]
10 [ @@("html/news" "news") * ]
11 [ @@("html/news#milestones" "milestones") * ]
12 [ @@("html/news#visibility" "visibility") * ]
15 [ @@("html/specification" "specification")
16 @@("html/changes" "specification log")
18 [ @@("html/specification#v2" "version 2")
19 "(" ^ @@("html/ground" "background") + "-" +
20 @@("html/static_2" "syntax") + "-" +
21 @@("html/basic_2" "core") + "-" +
22 @@("html/apps_2" "applications") ^ ")"
24 [ @@("html/specification#v1" "version 1")
25 "(" ^ @@("html/ground_1" "background") + "-" +
26 @@("html/basic_1" "core") ^ ")"
27 "(" ^ @@("static/matita/lambdadelta/" "static HELM directory") ^ ")"
31 [ @@("html/documentation" "documentation") * ]
32 [ @@("html/documentation#v2" "version 2") * ]
33 [ @@("html/documentation#v1" "version 1") * ]
36 [ @@("html/implementation" "implementation") * ]
37 [ @@("html/implementation#helena" "helena")
38 @@("osn/" "Open Symbolic Notation (OSN)")
40 [ @@("html/implementation#lddl" "library")
41 "(" ^ @@("html/lddl/" "static LDDL directory") ^ ")"
46 class "capitalize" [ * ]