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

Re: pico directory



> Dear Sir,
> 
> 	I cannot find pico in our directory. Please help! I really
> have to try ASF+SDF.
> 
> 	Thanks in advance!
> 
> Best Wishes,
> Richard.
> 
You can ftp the pico specification 
from 
ftp.cwi.nl
directory
/pub/gipe/spec
file
pico-guided-tour.tar.Z

Once you have obtained the file you have to uncompress and untar.
> uncompress pico-guided-tour.tar.Z
> untar pico-guided-tour.tar 

Other specifications can be ftp-ed from the same directory.
For instance the file lib.tar.Z  contains usefull basic modules
including a module Lisp for hybrid specifications.
See the README file for details.

Reports and manuals can be found  in directory
/pub/gipe/reports.

Regards
- --Emma

- -----------------------------------------------------------------
| Emma van der Meulen 						|
| Email: emma@fwi.uva.nl  					|
| UvA, FWI							|
- -----------------------------------------------------------------
| Kruislaan 403                 |       
| 1098 SJ Amsterdam             |       
| tel: +31 (020) 525 7584       |
- -----------------------------------------------------------------

------- End of Unsent Draft