Community
Participate
Working Groups
The command line options that can be used with SetConfig do not match the values listed in the Help or Examples.
Created attachment 179756 [details] Patch to update help and example information
Created attachment 179791 [details] Patch for plug-in examples Fixes a Null Pointer Exception for finding other plug-ins contributing examples.
Patches checked into HEAD.
Verified the Help was updated to include "Type", "UserType", and "UserList" using SetConfig -h on TPTP-4.7.2-201011182147.