added cproj', and therefore extended prj
tried to fix polymorphism problem for take_defs. A full solution will require
significant changes.
#!/bin/bash
#
# $Id$
#
# showtime - print time.
TIME=$1
SECS=$[ $TIME % 60 ]
[ $SECS -lt 10 ] && SECS=0$SECS
MINUTES=$[ ($TIME / 60) % 60 ]
[ $MINUTES -lt 10 ] && MINUTES=0$MINUTES
HOURS=$[ $TIME / 3600 ]
echo "${HOURS}:${MINUTES}:${SECS}"