Subject: [FIAT-dev] added p1nonconforming files to automake

From: [email-masked]
Date: Wed, 11 Jan 2006 22:10:22 +0100

Commit from kirby (2006-01-11 22:10 CET)
-----------------

added p1nonconforming files to automake

  fiat++  src/Makefile.am  1.2