#!/bin/sh
export PATH=/shared/coq-svn/bin:$PATH
params=`./params.sh`
coqtop=`which coqtop.opt`
exec $coqtop $params -debug "$@"