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