← Back to team overview

fiat team mailing list archive

Thread
Date

work on manual

To: fiat-dev@xxxxxxxxxx
From: fiat@xxxxxxxxxx
Date: Fri, 14 Apr 2006 21:19:28 +0200
Sender: "Robert C. Kirby" <kirby@xxxxxxxxxx>

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

work on manual

  fiat  doc/manual.tex  1.5