For release:

  Edit Twelf.version in frontend/twelf.fun
  Edit version in doc/guide/twelf.texi
    NOTE: search for 1.2 and 1-2 ! (or appropriate versions)
    NOTE: check the list of server commands and server types
  Edit version in README
  Edit instructions in INSTALL [no longer exists Sun May 23 12:51:24 1999]

  Rebuild document in doc/guide/:
  cd doc/guide
  make
  make twelf.pdf (on a Sparc, eg. alonzo)
  make install
  make install-www  (if everything is ready, install new doc on website)
  make install-www4  (for specific versions)

  create updated file load.sml
  CM.mkusefile "load.sml";

  update polyml/load-twelf.sml

  update mlton/*.cm (requires cmcat program in $PATH)
  cd mlton ; make mlton-cm-files

  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/CVS
        twelf/*/CVS
	twelf/*/.cvsignore
	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/exercises/
	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:
   (perhaps obsolete, but TAG with cvs:

   cvs tag twelf-1-2R5
   )

   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


  Patching a previous version:

   Create patch, using instructions in      twelf/admin/cvs-policy.txt
   Get previous release out of the archive  twelf/archive/twelf-1-2pl?.tar.gz
   Unpack the distribution into fresh directory
   Apply patch     (patch < patch-1-2pl(?+1))

   tar cvf twelf-1-2pl(?+1).tar twelf
   gzip twelf-1-2pl(?+1).tar
   cp twelf-1-2pl(?+1).tar.gz /afs/cs.cmu.edu/project/twelf/archive