diff man/sc.texi @ 57670:dd36fc88814a

(Synchronous Processes): Document process-file.
author Kai Großjohann <kgrossjo@eu.uu.net>
date Sun, 24 Oct 2004 13:25:21 +0000
parents 4f9c4f26ff59
children f05e7fd81880 ff0e824afa37
line wrap: on
line diff