Configuration of RH8 for MRG Demo  --- requirements [da]  -*- outline -*-

** Standard RedHat install

	Need at least these packages:

		httpd
		perl-CGI
		mosml-2.00-2
		ocaml-3.06-1


** Isabelle, from download page:
   (Cambridge: http://www.cl.cam.ac.uk/Research/HVG/Isabelle/dist/)

     Isabelle2002.tar.gz
     polyml_*
     HOL_x86-linux.tar.gz

   Unpack as root in /usr/local



** Image files for Isabelle 

		Grail.img
		GrailSL.img

