https://github.com/theoremprover-museum/CLIN
Tip revision: e7082fbde3634286f458d64846699ae488fe18f3 authored by Michael Kohlhase on 22 December 2016, 09:28:55 UTC
initial commit, thanks to David Plaisted
initial commit, thanks to David Plaisted
Tip revision: e7082fb
compile.eclipse
#!/bin/csh
rm -f compile.out compile.out.1
setenv ECLIPSEDIR /usr/local/bin/eclipse
eprolog < compile.in >& compile.out
mv compile.out.1 eclin
