grammer/README.txt

   1 "preScanner.jj" is used to process the backslash sign at the end of a line
   2 (basically splce broken lines before really processing the specifications).
   3
   4 "util.jj" is used to process some specific strings, such as the declaration of a
   5 function with templated types. It is designed to be used as a library funcions.
   6
   7 "spec_compiler.jj" is the real grammer file to parse the text files and extract
   8 structured specifications.