1
2
3
4
5
6
7
// Indirect loader of the symbol index for 7.0::.
// Inherit 7.2::.
PikeDoc.loadScript("ex/7.2_3A_3A/load_index.js", "7.2::");
PikeDoc.loadScript("ex/7.0_3A_3A/index.js", false, ["7.2::"]);