I have already installed the tptp from eclipse's "install new software". In the next step I shoud install the agent controller.
I've downloaded the agent controller 4.7.2 und unzipped it. According to the instruction I should now:
"Run SetConfig.bat script from a command shell in the \bin directory to generate the configuration file for the Agent Controller."
When I type the SetConfig.bat in the cmd it says that setconfig.bat is not found. I have checked the bin folder and there is no such file. So I don't know what to do.
The instruction also says: "The script requires that a Java Virtual Machine (JVM) be present in the PATH environment variable." Maybe this causes the problem? But I don't know how to set the jvm into the path variable. I use win7
What should I do now? Thanx in advance!