0. This is the file README that accompanies the TEXAS version 1.0a distribution. 1. Version Information ------------------- This is version 1.0a of TEXAS. 2. Validation Information ---------------------- As validated by VALIDATE.COM from McAfee Associates. File Name: dos4gw.exe Size: 193,858 Date: 10-29-1991 File Authentication: Check Method 1 - EE09 Check Method 2 - 0B26 File Name: pminfo.exe Size: 91,974 Date: 8-20-1991 File Authentication: Check Method 1 - 57A6 Check Method 2 - 1B92 File Name: rminfo.exe Size: 53,206 Date: 8-20-1991 File Authentication: Check Method 1 - C50D Check Method 2 - 1BB6 File Name: texas.exe Size: 288,259 Date: 3-25-1992 File Authentication: Check Method 1 - 6D8B Check Method 2 - 0F4C 3. Information for using TEXAS is found in the file TEXAS.DVI. You'll need to print it out using a DVI-to-your-local-printer converter or use the generated PostScript file TEXAS.PS instead. 4. Changes from 1.0 - the documentation has been revamped; it now comes as a .dvi file - there has been a 10% speed increase - new command line switches v? added Shih-Ping Chan matcsp@nuscc.nus.sg