6736102002-12-20Henrik Grubbström (Grubba) // Indirect loader of the symbol index for 7.0::.
8e38c42002-12-30Henrik Grubbström (Grubba) // 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::"]);