aboutsummaryrefslogtreecommitdiff
path: root/src/datastore
Commit message (Expand)AuthorAge
* further datastore API improvements:Christian Grothoff2009-06-16
* improving datastore APIChristian Grothoff2009-06-16
* stuffChristian Grothoff2009-06-15
* importing older testcases / benchmarks, not yet adapted to new APIChristian Grothoff2009-06-15
* adding basic declarations for datastore implementationChristian Grothoff2009-06-15
* ngChristian Grothoff2009-05-29