Thu, 14 Oct 1999 12:47:54 +0200 | wenzelm | renamed verbatim/verb to text_raw/txt_raw; | changeset | files |
Thu, 14 Oct 1999 12:46:30 +0200 | wenzelm | tuned; | changeset | files |
Thu, 14 Oct 1999 01:07:24 +0200 | wenzelm | improved presentation; | changeset | files |