Utilities for Proof General Eclipse


TPWrapper is a simple java utility for networking a command-line theorem prover (not: does not work for MS Windows). It turns a command-line interface into a socket-based interface. I wrote it in order to access Isabelle from my Windows laptop.

The program comprises two classes (TPWrapper and TP!WrapperServerThread). To run it:

  1. Find TPWrapper.class in your Proof General installation under ed.inf.proofgeneral/bin
  2. Use java TPWrapper [port-number] [command] to run (note: you probably want to run this as a background process). This will cause TPWrapper to listen at [port-number]. It responds to connection attempts by executing [command] in a child process, and linking the port input and output streams to the process's input and output streams.
Edit | Attach | Print version | History: r2 < r1 | Backlinks | Raw View | Raw edit | More topic actions...
Topic revision: r1 - 21 Aug 2006 - 14:18:39 - DavidAspinall
This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback
This Wiki uses Cookies