Subject: [FIAT-dev] worked on manual

From: [email-masked]
Date: Wed, 05 Apr 2006 23:15:58 +0200

Commit from kirby (2006-04-05 23:15 CEST)
-----------------

worked on manual

  fiat  doc/manual.tex  1.3