
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 TRANSITIONAL//EN">

<HTML>

<HEAD>

  <META HTTP-EQUIV="Content-Type" CONTENT="text/html; CHARSET=UTF-8">

  <META NAME="GENERATOR" CONTENT="GtkHTML/3.3.2">

</HEAD>

<BODY>

Ian is working on an improved manual for Elephant.<BR>

<BR>

We have a chapter called "Scenarios", in which we would like to put hypothetical, or even <BR>

better, real, usages of Elephant.<BR>

<BR>

I have added a paragraph on Konsenti, my own for-profit usage of Elephant.<BR>

<BR>

Does anyone else have a usage, either commercial, toy, or research, of Elephant that <BR>

would contribute to the manual?<BR>

<BR>

<BR>

</BODY>

</HTML>