basicPluginFramework

Classes  JinnIde JinnIdeDockable JinnIdeOptions JinnIdeOptionsPane JinnIdePlugin JinnIdePlugin.StartupJinniPrologServerThread JinnIdeToolbar VariableObject