Official Pronto HEX format definition?

[cyborg5]

I've decided it's time to add support for Pronto HEX format to my Arduino library IRLib2. I know that IRremote library already supports it and even though it's open source I would still write to make my own implementation. I found a number of webpages that describe the format but none of them appear to be anything official. It looks like people had just reversed engineered the format or obtain information from a variety of sources.

Is there a definitive document explaining the format?

One item in particular that I question… Everything I read says that the opening word should be 0000 and I've also noted that this means it's a learned code. What if it's not learned? Is there a different format for not learned? Of course I have my own format for not learned signals when they are of a protocol that I support. But I just wondered if I'm really going to support this format I should know all of the rules and not someone else's best guesstimate I what the words really are.

[AnalysIR]

Hi Chris

Try the following... https://www.majority.nl/files/prontoirformats.pdf

I don't ever recall seeing an official description, from Philips.

also: http://www.remotecentral.com/features/irdisp4.htm