← Back to team overview

fiat team mailing list archive

Thread
Date

worked on manual

To: fiat-dev@xxxxxxxxxx
From: fiat@xxxxxxxxxx
Date: Fri, 07 Apr 2006 23:07:16 +0200
Sender: "Robert C. Kirby" <kirby@xxxxxxxxxx>

Commit from kirby (2006-04-07 23:07 CEST)
-----------------

worked on manual

  fiat  doc/manual.tex  1.4