Commit e24643e5 authored by Michael Hanus 's avatar Michael Hanus

Comment added

parent 6999d2dc
......@@ -3,6 +3,9 @@ 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.
main.tex:
The manual as a stand-alone LaTeX file.
<ana>.md:
The documentation of the analysis registered with name <ana> in
markdown syntax.
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment