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.