|
Auto/Graph and Fc2tools documentation
|
|---|
-
FC2Tools User Manual,
-
including description of
Autograph, fc2implicit and fc2explicit softwares.
Also available by direct ftp from ftp-sop.inria.fr as:
meije/verif/fc2.userman.ps
-
Fc2 format Reference Manual,
-
Also available by direct ftp from ftp-sop.inria.fr as:
meije/verif/fc2.refman.ps
-
Mauto manual version 2-5,
-
Also available by ftp from ftp-sop.inria.fr as:
meije/verif/mauto.v2-5b.manuals.tar.z
-
FC2Tools Implementation Manual,
-
for further programming of software extensions.
Also available by direct ftp from ftp-sop.inria.fr as:
meije/verif/fc2.implman.ps