#!/bin/csh

cd $HOME/working/public_html/home/presentations/sni_slides/scripts
coq < lee.scr >& /tmp/lee_script_errors

