Rev 5920 | Details | Compare with Previous | Last modification | View Log | RSS feed
| Rev | Author | Line No. | Line |
|---|---|---|---|
| 32 | reyssat | 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. |
||
| 11210 | bpr | 6 | </p> |