# This file contains TCL procedures used to generate standard parts of
# web pages.
#
proc header {txt} {
  puts "
$txt"
  puts \
{
}
}
proc footer {{rcsid {}}} {
  puts {
}
  set date [lrange $rcsid 3 4]
  if {$date!=""} {
    puts "This page last modified on $date"
  }
  puts {}
}