This directory contains some documention for the Curry Analysis Server System:

manual.tex:
  A short description to be included in the main manual of the Curry system.

<ana>.md:
  The documentation of the analysis registered with name <ana> in
  markdown syntax.
