For release:

  Edit Twelf.version in frontend/twelf.fun
  Edit version in doc/guide/twelf.texi
  Edit version in README
  Edit instructions in INSTALL

  Rebuild document in doc/guide/:
  cd doc/guide
  ./guide2all
  ./guide2pdf (on a Sparc, eg. alonzo)
  ./install

  bin/clean
  bin/clean-cm  (ignore warning messages)

  cd ..
  find twelf -type f -print > twelf/FILES
  sort twelf/FILES (M-x sort-lines with region whole buffer)

  Edit twelf/FILES by deleting:

	twelf/DISTRIBUTE
	twelf/FILES
	twelf/HISTORY
	twelf/IDEAS
	twelf/NOTES
	twelf/PROFILE/*
	twelf/TEST/*
	twelf/TIMING/*
	twelf/bin/.heap/twelf-server.x86-linux
	twelf/bin/.heap/twelf-server.x86-win32
	twelf/bin/.heap/twelf-sml.x86-linux
	twelf/bin/.heap/twelf-sml.x86-win32
	twelf/bin/clean
	twelf/bin/clean-cm
	twelf/bin/create-tags
	twelf/bin/tag-examples
	twelf/bin/tag-twelf
	twelf/bin/twelf-server
	twelf/bin/twelf-server.bat
	twelf/bin/twelf-sml
	twelf/bin/twelf-sml.bat
	twelf/doc/guide/*
	twelf/doc/modes/*
	twelf/doc/old/*
	twelf/doc/terminate/*
	twelf/emacs/19.16/*
	twelf/emacs/at-point/*
	twelf/emacs/twelf-init.el
	twelf/src/*/WALK
	twelf/src/WALK
	twelf/work/*

   tar -cvf twelf-1-2.tar `cat twelf/FILES`
   gzip twelf-1-2.tar
   mv twelf-1-2.tar.gz /afs/cs/project/twelf/www/dist/
   cp twelf/README /afs/cs/project/twelf/www/dist/


  Archive development state:

   rm twelf/bin/.heap/twelf-*.*   (remove heaps so they are not copied)
   cp -rp twelf ../research/twelf-1-2  (make sure twelf-1-2 does not exist)

   Edit instructions and links in
    www/index.html
    www/guide/index.html