#!/bin/sh
TERM=xterm runcl -c mtex.cl
TERM=xterm runcl -c mtexln.cl
TERM=xterm runcl -c maux.cl
TERM=xterm runcl -c ex03a.cl
TERM=xterm runcl -c ex03b.cl
TERM=xterm runcl -c ex03c.cl
