1. gratxt.zip
    • gra.txt The digitization as text file, with corrections.
    • gra-meta2.txt Documentation of the coding conventions of gra.txt
    • graheader.xml Description of licensing and other details of this edition
  2. graxml.zip
    • gra.xml An xml version of gra.txt, by headword
    • gra.dtd Document type definition for gra.xml
    • graheader.xml Description of licensing and other details of this edition
  3. graweb1.zip Directory 'web' containing displays for dictionary.
    readme.txt Instructions for local installation of web displays for gra.
    Download graweb1.zip, then follow instructions in readme.txt.