proof: an interactive grammar scanner, version 0.2, by Craig Latta (c) 1991.                                                                                               
   Please send email to proof@xcf.Berkeley.EDU with your alphatest comments,    and/or to proof-users@xcf.Berkeley.EDU with comments of interest to all         'proof' users. Thanks  --craig.                                                                                   
   Known bugs:                                                                     none.                                                                          
   Last compilation: Sat Sep 28 15:54:51 PDT 1991
   Caution: the demo lexicon is overwritten with every compile. Please email    significant lexicon changes to proof@xcf.Berkeley.EDU.
