aboutsummaryrefslogtreecommitdiff
path: root/doc
AgeCommit message (Collapse)Author
2009-08-22A couple of doc tweaksTom Faulhaber
2009-08-21Translated Jeffrey's overview of Datalog from the old google code wiki intoTom Faulhaber
the new documentation structure.
2009-08-17Changed the doc title for a better link nameTom Faulhaber
2009-08-12Beginning to add supplementary doc for pprintTom Faulhaber