Changeset 15235


Ignore:
Timestamp:
10/21/08 19:42:08 (5 years ago)
Author:
hritcu
Message:

Updated the README (slightly)

File:
1 edited

Legend:

Unmodified
Added
Removed
  • README

    r12317 r15235  
    33Requirements: 
    441. OCaml and SPASS installed. 
    5 2. The PATH variable is correctly set. 
     52. The PATH variable contains the SPASS executable . 
    66 
    77Building: 
     
    1010 
    1111Running: 
    12 cd src 
    13 ./typecheck ../processes/simple.spi 
     12cd out 
     13./typecheck ../../processes/simple.spi 
    1414 
    1515Interpretting the results: 
Note: See TracChangeset for help on using the changeset viewer.