Get Leo by selecting the editor and making noweb files. Noweb can make HTML, which can be your online documentation, and it can create source files that are numbered as your noweb input. You can edit noweb or source. If you edit the source, Leo can update your changes back to the noweb file. Noweb can also make TEX files for really beautiful prints. A.
Noweb is so simple that its user guide fits on one side of one sheet of paper. Leo is one of those GUI tools that you already know how to use ... has lot tricks if you want them.
Both are free!
Bill drissel
source share