[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS-Help] date function in pvsio?



Hello!

Is there a pvsio function to print the date?

Thanks,

andrea

--
Andrea Domenici

Assistant Professor
Dept. of Information Engineering (DIIEIT), University of Pisa
Lgo. L. Lazzarino 1, I-56122 Pisa, Italy
tel: +39 050 2217 674 fax: +39 050 2217600
                         "Omnia sunt communia" -- Th. Müntzer