Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | doc: Provide examples of abstract and literal specifications | Sol Jerome | 2011-07-27 | 1 | -0/+13 |
| | | | | Signed-off-by: Sol Jerome <sol.jerome@gmail.com> | ||||
* | doc: Finish merging remaining documentation updates | Sol Jerome | 2010-12-08 | 1 | -9/+9 |
| | | | | Signed-off-by: Sol Jerome <sol.jerome@gmail.com> | ||||
* | doc: Massive update | Fabian Affolter | 2010-11-09 | 6 | -0/+379 |