Community
Participate
Working Groups
Consumers/extenders of COSMOS will need Javadoc to be able to understand COSMOS' public APIs.
Changing the purpose of this enhancement because the build already generates Javadoc. This should be used to make the Javadoc able to be read in eclipse. Reassigning to cosmos.doc.
FYI here's a link to the TPTP Javadoc page: http://www.eclipse.org/tptp/home/documents/resources/javadoc.html
Note that David requested that the javadoc be downloadable in one zip.
What's the status of this?
Shouldn't this be assigned to the build team?
Sorry Ruth, I realize this bug has changed focus, so I am changing the subject appropriately. This should definitely be assigned to the Doc team.
Moved Target to future.
Reassigning to me as a placeholder.