*** wikiPage.old	Thu May  2 19:21:04 2002
--- wikiPage.php	Thu May  2 19:14:17 2002
***************
*** 896,902 ****
          if ( "*" == $char ) { $result .= "<ul><li>"; }
          else if ( "#" == $char ) { $result .= "<ol><li>"; }
          else if ( ":" == $char ) { $result .= "<dl><dd>"; }
!         else if ( ";" == $char ) { $result .= "<dl><dt>"; }
          else { $result = "<!-- ERR 1 -->"; }
  
          return $result;
--- 896,905 ----
          if ( "*" == $char ) { $result .= "<ul><li>"; }
          else if ( "#" == $char ) { $result .= "<ol><li>"; }
          else if ( ":" == $char ) { $result .= "<dl><dd>"; }
!         else if ( ";" == $char ) {
!             $result .= "<dl><dt>";
!             $this->dtOpen = true;
!         }
          else { $result = "<!-- ERR 1 -->"; }
  
          return $result;