Coq Phrasebook |
Version 1.0 M1 |
About Install Using API Documentation Contact us
The Coq Phrasebook project delivers the user a phrasebook that can be used to communicate by means of OpenMath to a Coq-server.
How do you install this package? Very easy, just make sure when you start your own project the JAR-files of this project are also in the classpath.
Example:
CLASSPATH=$CLASSPATH:coq-phrasebook.jar\ parser.jar:jaxp.jar:om.jar
OK, you've installed the phrasebook into your project and now you are ready to use it? Well, first of all create an instance of the phrasebook by giving the host and port the phrasebook should use to communicate with a socket-based Coq (available as a separate project). And then call the perform method to perform the actual call.
If you wish to contact the author mail him at mriem@win.tue.nl
Copyright (c) 2000, Eindhoven University of Technology (TU/e).
All Rights Reserved.