Minor changes to CRISP rule 3.3.13.
Modified syntax for inner preds in CRISP.
Updated definition of HICPP 3.4.2 in CRISP.
New Prolog implementation of Clang part of HICPP 3.4.2.

Using new syntax for diagnostics.
Diagnostics dumped to a file for rules that need LLVM plugin.
Clang plugin now writes down Prolog facts for LLVM analysis.

Every violation candidate has the format:

violation_candidate(RULE, CULPRITS_WITH_SOURCE_LOC, POS_IN_DIAGS_FILE, DIAGS_LENGTH).
Code to write violation candidate facts moved to Prolog.

We follow the principle that portrayal of Prolog facts is done in Prolog.
Minor change to example rule.
Improvements to testing Makefile.
Crisp abstract syntax for expressions and top levels.
AUTHORS file.
Translation of Crisp top levels (AS) to Prolog.

Some Clay-specific code in PrologSyntax.hs removed. Added quotation
marks to prolog atoms when show-ing.
Cosmetic change to a few copyright headers.
Some Show instances and boxing types.
Start concrete syntax with uu-parselib.

Only concepts of type 'Concept Sort' are parsed in this first version.
Concrete syntax for 'Concept's (both Sort's and Adj's).
Refactoring: 'Expr' renamed to 'Formula', 'TopLevel' to 'Relation'.

Also rename of some 'Formula' constructors.

Temporal non-tangling of 'relationToProlog'.

Use of light-weight dependent types for non-empty lists (package non-empty).
Fixed bug with multiline comments.
Renaming: Sort->Domain, Adj->Filter.

Handled the "complement" of a concept in concrete syntax.
Keywords need to be followed by space, or '('.