Definitive documentation for offline programmers