[Cs5500] DemeterF

[Karl Lieberherr]

There was a question about the dgp options of DemeterF. Here is the
way to generate the Display, Print and ToString
functions:
java DemFGen --build --dgp:Display:Print:ToStr program.cd program.beh ./gen

This should give you the documentation:
java DemFGen --help

Several DemeterF examples are here:
~lieber/.www/courses/cs4500/sp09/DemeterF/examples

Ahmed will double-check this tomorrow.

-- Karl