As I recall, we were using noweb. I typically wrote using XEmacs (these days I'm back on EMacs). I certainly remember typing noweb at the command line. The doc

As I recall, we were using noweb. I typically wrote using XEmacs (these days I'm back on EMacs). I certainly remember typing noweb at the command line. The document I wrote into was turned into two documents; latex, which included all the source code and the accompanying discussion and design, ready to be turned into beautiful PDF; and Objective-C, ready for the compiler. Code review was done using the PDF document, design review had already been done before we started writing the noweb (and thus before we started writing the code) and the code review included checking that the design implemented matched the design approved.