>From rlk@think.COM (Robert Krawitz) Mon Nov 30 10:56:46 1987 Let's see if I remember my BNF for babyl files; this corresponds to version 5: File :=
* ; Some say there must be at least one message. Header := Babyl Options:\n * |^_ Header-option := ; See note [5] : * header-token := [^\000-\017:\177-\377]* ; Not these characters [tab is OK] header-value := ditto, if a list, each element separated by a comma and a space. message := \^L\n [01], ; See note [1] below ( ,)* ; Note space before and comma after token , (