summaryrefslogtreecommitdiffstats
path: root/doc/architecture
Commit message (Expand)AuthorAgeFilesLines
* doc: Provide examples of abstract and literal specificationsSol Jerome2011-07-271-0/+13
* doc: Finish merging remaining documentation updatesSol Jerome2010-12-081-9/+9
* doc: Massive updateFabian Affolter2010-11-096-0/+379