Rev 5920 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 5920 | Rev 11210 | ||
|---|---|---|---|
| Line 1... | Line -... | ||
| 1 | - | ||
| 2 | <p> |
1 | <p> |
| 3 | A datafile is a plain text file whose content is split into a number of |
2 | A datafile is a plain text file whose content is split into a number of |
| 4 | records. Records are separated by tag strings $emph"\n:"$emphend (a new-line |
3 | records. Records are separated by tag strings $emph"\n:"$emphend (a new-line |
| 5 | character immediately followed by `:'). Lines before the first tag string |
4 | character immediately followed by `:'). Lines before the first tag string |
| 6 | are treated as comments. |
5 | are treated as comments. |