repos - Revision 19302: /public/demos/stable-pocklington/lib

• ..
• antlr.jar
• antlrall.jar
• coq-link.jar
• gap-link.jar
• gap-parser.jar
• gap-service.jar
• gui.jar
• jaxp.jar
• om.jar
• parser.jar
• server.jar
• xerces.jar