Welcome to the Programatica Demo disk (July 2006) [WORK IN PROGRESS]
====================================================================


Introduction
------------

This disk image contains a small Fedora Core 5 Linux system setup make it
ease to work with software developed as part of the Programatica project.
Here is what the current version includes:

1. It allow you to test the Programatica Tools by using them on
   provided examples.

2. It contain everything needed to modify and recompile the
   Programatica Tools.

3. It allows you to boot into the House demo.

4. It contains everything needed to modify and recompile the House demo.


See below for more details.

The system is configured with one user account:

	Login: programatica
	Password: pfe-demo

The programatica user is allowed to use sudo. The root password is pfe.root.



1. Trying out the Programatica Tools
------------------------------------

This part is work in progress, but the following should work:

	cd src/programatica/tools/property/tests
	pfebrowser &

Tools to support the validation of Quickcheck, TestCase, Plover and Alfa
certificates are installed. Isabelle is not installed, so Isabelle
certificates can not be validated.


2. Recompiling the Programatica Tools
-------------------------------------

The Programatica Tools are compiled and installed in the user's home directory.
Recompiling the tools should be as simple as

	cd programatica
        ./INSTALL

Updating to the latest version from via anonymous CVS access (assuming
networking is properly setup):

	cd src/programatica/tools
	cvs update

Some additional source packages are included in the src directory. These
should also be easy to compile. For example, Plover is included in
src/programatica/Plogic, and can be compiled with

	cd src/programatica/Plogic
	make

Installing the Programatica Tools also installs Plover.

3. Booting the House demo
-------------------------

When booting the system, choose "House (graphics mode)" or "House (text mode)"
from the boot menu.

4. Recompiling House
--------------------

The House demo system can be compiled with the following commands:

	cd House
	make floppy

This creates hOp.flp, which is a bootable floppy image, wich can be copied to
a floppy disk with

	cp hOp.flp /dev/fd0

You can also install the new version of House on the harddisk with

	cp floppy_dir/boot/kernel /boot/h/house


Additional information
----------------------

The Programatica Project:  http://programatica.cs.pdx.edu
The Programatica tools:    http://www.csee.ogi.edu/~hallgren/Programatica/  
House:			   http://www.csee.ogi.edu/~hallgren/House

Contact: Thomas Hallgren:  http://www.csee.ogi.edu/~hallgren/