@@("html/changes" "specification log")
* ]
[ @@("html/specification#v2" "version 2")
- "(" ^ @@("html/ground_2" "background") + "-" +
+ "(" ^ @@("html/ground" "background") + "-" +
@@("html/static_2" "syntax") + "-" +
@@("html/basic_2" "core") + "-" +
@@("html/apps_2" "applications") ^ ")"
@@("osn/" "Open Symbolic Notation (OSN)")
* ]
[ @@("html/implementation#lddl" "library")
- "(" ^ @@("static/lddl/" "static LDDL directory") ^ ")"
+ "(" ^ @@("html/lddl/" "static LDDL directory") ^ ")"
* ]
}
]