Subject: [FIAT-dev] work on manual

From: [email-masked]
Date: Fri, 14 Apr 2006 21:19:28 +0200

Commit from kirby (2006-04-14 21:19 CEST)
-----------------

work on manual

  fiat  doc/manual.tex  1.5