summaryrefslogtreecommitdiff
path: root/doc
AgeCommit message (Expand)Author
2012-08-07Rename type names.Ori Bernstein
2012-08-01Minor doc updates.Ori Bernstein
2012-06-30More work on the docsOri Bernstein
2012-06-29start of tutorial-spec-thingy.Ori Bernstein