Subversion Repositories wimsdev

Rev

Rev 5920 | Blame | Compare with Previous | Last modification | View Log | RSS feed

  1. <p>
  2. A datafile is a plain text file whose content is split into a number of
  3. records. Records are separated by tag strings $emph"\n:"$emphend (a new-line
  4. character immediately followed by `:'). Lines before the first tag string
  5. are treated as comments.
  6. </p>
  7.