initial document for ABI-parser project
Written a requirements document for the ABI parser project

This is an old commit by Stef from which I've removed an update to ClassDiagram.hs, which has already been fixed on the master.
Commentaar toegevoegd.
Merge pull request #12 from AmpersandTarski/Commentaar_van_Han_op_ABI_Parser_requirements_document

Commentaar van han op abi parser requirements document
remove UNI-rules from functional specification output
Wat extra suggesties (met track-changes) voor de parser

In het bijzonder gekeken naar:
- contexten waarin regels geldigheid hebben;
- contexten waarin een regel op verschillende manieren ge-enforced moeten worden
- generalisatie van de syntax voor het displayen van Atoms (niet alleen in PRAGMA's) - unificeren hiervan met VIEWs
Remove warnings

Maybe this commented code can be deleted?
Fix typos
Remove redundant directives
Add type sigs to prevent EclipseFP problem with OverloadedStrings

I don't like changing sources because of tool issues, but this is a harmless type signature, and it prevents EclipseFP failure when type checking an OverloadedStrings module (which, during incremental type checking, somehow causes EclipseFP to also type check ShowHS with overloaded strings)
Move plainText to SharedAmongChapters
Add utilities for handling multiple-language strings
Add sections for process rules and invariants to data analysis chapter
Correctly determine process rules and invariants + Add derived rules
One label per predLogic equation (instead of for every line)
Don't show (Latex-specific) header-includes in rtf template
Add showRtf
Show predLogic rules for rtf output
Merge pull request #13 from AmpersandTarski/show-rules-in-data-analysis-chapter

Show rules in data analysis chapter
Add check for undeclared interface references

These also need to be type checked