This distribution of Demacs is version 1.2.0 (91/12/12).
