#!/bin/csh

cd $HOME/working/public_html/home/presentations/sni_slides/scripts
coq < curious.scr

