diff --git a/doc/Protocol-A.texi b/doc/Protocol-A.texi index 39f7bad884bc4c9bf18a5933b55b2e974b050a46..ef0a39295b841b45cdb3cf07bb6c1f7ded500130 100644 --- a/doc/Protocol-A.texi +++ b/doc/Protocol-A.texi @@ -4,7 +4,7 @@ @c FIXME: @i{Example:} is only used in front of some examples. @c FIXME: Make all types clickable in HTML (and info?) @c -@c $Id: Protocol-A.texi,v 1.118 2001/04/29 20:45:38 ceder Exp $ +@c $Id: Protocol-A.texi,v 1.119 2001/04/30 09:11:12 ceder Exp $ @c %**start of header @setfilename protocol-a.info @settitle LysKOM Protocol A @@ -1830,7 +1830,7 @@ value-3. An enumeration can also be inherited from a SELECTION datatype: @example - Info-type ::= ENUMERATION_OF(Misc-Info) + Info-type ::= ENUMERATION-OF(Misc-Info) @end example This means that Info-type is an enumeration, that contains the same keys @@ -2768,14 +2768,14 @@ values. 3=comm-in commented-in : Text-No; 4=footn-to footnote-to : Text-No; 5=footn-in footnoted-in : Text-No; - 6=loc-no local-no : Local-Text-No + 6=loc-no local-no : Local-Text-No; 7=rec-time received-at : Time; 8=sent-by sender : Pers-No; 9=sent-at sent-at : Time; 15=bcc-recpt bcc-recipient : Conf-No; ) - Info-Type ::= ENUMERATION_OF(Misc-Info) + Info-Type ::= ENUMERATION-OF(Misc-Info) Text-Stat-Old ::= ( creation-time : Time;