dfg2otter(1) on Linux
The text d38fc03e980f, as Debian 5.0 (Lenny), Debian 4.0 (Etch), Debian 3.1 (Sarge) shipped it.
transforms DFG clause files into Otter format
The text d38fc03e980f, as Debian 5.0 (Lenny), Debian 4.0 (Etch), Debian 3.1 (Sarge) shipped it.
transforms DFG clause files into Otter format