class PoSlave:
def __init__(self):
self.slave = Popen(['coqtop.opt', '-ideslave'],
shell=True, stdin=PIPE, stdout=PIPE)
def write(self, line):
self.slave.writeline(line)
def read(self):
return self.slave.readline()
