<html>
  <head>


    <meta http-equiv="content-type" content="text/html; charset=ISO-8859-1">
  </head>
  <body bgcolor="#FFFFFF" text="#000000">
    <meta charset="utf-8">
    <span style="color: rgb(51, 51, 51); font-family: Verdana, Geneva,
      Helvetica, Arial, sans-serif; font-size: 16px; font-style: normal;
      font-variant: normal; font-weight: normal; letter-spacing: normal;
      line-height: normal; orphans: auto; text-align: start;
      text-indent: 0px; text-transform: none; white-space: normal;
      widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;
      background-color: rgb(255, 255, 255); display: inline !important;
      float: none;">Hi All,<span class="Apple-converted-space"> </span></span><br
      style="color: rgb(51, 51, 51); font-family: Verdana, Geneva,
      Helvetica, Arial, sans-serif; font-size: 16px; font-style: normal;
      font-variant: normal; font-weight: normal; letter-spacing: normal;
      line-height: normal; orphans: auto; text-align: start;
      text-indent: 0px; text-transform: none; white-space: normal;
      widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;
      background-color: rgb(255, 255, 255);">
    <span style="color: rgb(51, 51, 51); font-family: Verdana, Geneva,
      Helvetica, Arial, sans-serif; font-size: 16px; font-style: normal;
      font-variant: normal; font-weight: normal; letter-spacing: normal;
      line-height: normal; orphans: auto; text-align: start;
      text-indent: 0px; text-transform: none; white-space: normal;
      widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;
      background-color: rgb(255, 255, 255); display: inline !important;
      float: none;">I just watched the "Dancing with Symmetry"
      presentation on InfoQ, and was wondering if any of the Korz code
      is available to explore?<span class="Apple-converted-space"> </span></span><br
      style="color: rgb(51, 51, 51); font-family: Verdana, Geneva,
      Helvetica, Arial, sans-serif; font-size: 16px; font-style: normal;
      font-variant: normal; font-weight: normal; letter-spacing: normal;
      line-height: normal; orphans: auto; text-align: start;
      text-indent: 0px; text-transform: none; white-space: normal;
      widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;
      background-color: rgb(255, 255, 255);">
    <br style="color: rgb(51, 51, 51); font-family: Verdana, Geneva,
      Helvetica, Arial, sans-serif; font-size: 16px; font-style: normal;
      font-variant: normal; font-weight: normal; letter-spacing: normal;
      line-height: normal; orphans: auto; text-align: start;
      text-indent: 0px; text-transform: none; white-space: normal;
      widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;
      background-color: rgb(255, 255, 255);">
    <span style="color: rgb(51, 51, 51); font-family: Verdana, Geneva,
      Helvetica, Arial, sans-serif; font-size: 16px; font-style: normal;
      font-variant: normal; font-weight: normal; letter-spacing: normal;
      line-height: normal; orphans: auto; text-align: start;
      text-indent: 0px; text-transform: none; white-space: normal;
      widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;
      background-color: rgb(255, 255, 255); display: inline !important;
      float: none;">One item that caught my attention was the
      novice/expert IDE demo, as this is an area in which I'm deeply
      interested.<span class="Apple-converted-space"> </span></span><br
      style="color: rgb(51, 51, 51); font-family: Verdana, Geneva,
      Helvetica, Arial, sans-serif; font-size: 16px; font-style: normal;
      font-variant: normal; font-weight: normal; letter-spacing: normal;
      line-height: normal; orphans: auto; text-align: start;
      text-indent: 0px; text-transform: none; white-space: normal;
      widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;
      background-color: rgb(255, 255, 255);">
    <br style="color: rgb(51, 51, 51); font-family: Verdana, Geneva,
      Helvetica, Arial, sans-serif; font-size: 16px; font-style: normal;
      font-variant: normal; font-weight: normal; letter-spacing: normal;
      line-height: normal; orphans: auto; text-align: start;
      text-indent: 0px; text-transform: none; white-space: normal;
      widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;
      background-color: rgb(255, 255, 255);">
    <span style="color: rgb(51, 51, 51); font-family: Verdana, Geneva,
      Helvetica, Arial, sans-serif; font-size: 16px; font-style: normal;
      font-variant: normal; font-weight: normal; letter-spacing: normal;
      line-height: normal; orphans: auto; text-align: start;
      text-indent: 0px; text-transform: none; white-space: normal;
      widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;
      background-color: rgb(255, 255, 255); display: inline !important;
      float: none;">Thanks,<span class="Apple-converted-space"> </span></span><br
      style="color: rgb(51, 51, 51); font-family: Verdana, Geneva,
      Helvetica, Arial, sans-serif; font-size: 16px; font-style: normal;
      font-variant: normal; font-weight: normal; letter-spacing: normal;
      line-height: normal; orphans: auto; text-align: start;
      text-indent: 0px; text-transform: none; white-space: normal;
      widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;
      background-color: rgb(255, 255, 255);">
    <span style="color: rgb(51, 51, 51); font-family: Verdana, Geneva,
      Helvetica, Arial, sans-serif; font-size: 16px; font-style: normal;
      font-variant: normal; font-weight: normal; letter-spacing: normal;
      line-height: normal; orphans: auto; text-align: start;
      text-indent: 0px; text-transform: none; white-space: normal;
      widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;
      background-color: rgb(255, 255, 255); display: inline !important;
      float: none;">David</span>
  </body>
</html>