Получите Лео , выделенный редактор, и создайте файлы noweb. Noweb может создавать HTML, который может быть вашей онлайн-документацией, а также создавать исходные файлы, которые нумеруются как ваши данные noweb. Вы можете редактировать noweb или источник. Если вы отредактируете исходный код, Leo сможет обновить ваши изменения обратно в файл noweb. Noweb также может создавать TEX-файлы для действительно красивой печати.
Noweb настолько прост, что его руководство пользователя помещается на одной стороне одного листа бумаги. Leo - это один из тех инструментов с графическим интерфейсом, который вы уже знаете, как использовать ... имеет множество хитростей, если вы хотите их.
Оба свободны!