#!/bin/sh
#
# Usage: run
# Compiles proof.f and then runs proof
# Sends output to stdout and proof.log

( date
  f77 -O -o proof proof.f 2>&1 &&\
  nice time proof 2>&1
  date
) 2>&1 | tee proof.log