summaryrefslogtreecommitdiffstats
path: root/vc
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2016-04-10 16:30:18 +0200
committerDavid A. Madore <david+git@madore.org>2016-04-10 16:37:07 +0200
commit5088c051fb59c9137b7d733cc81ddda9d1a8f0de (patch)
treeb6b34ba2775038ceb208b866aaf532ff12f52e28 /vc
parentbb80e649862bc664dbdeef21ca6f3b3ba7d102e5 (diff)
downloadaccq205-5088c051fb59c9137b7d733cc81ddda9d1a8f0de.tar.gz
accq205-5088c051fb59c9137b7d733cc81ddda9d1a8f0de.tar.bz2
accq205-5088c051fb59c9137b7d733cc81ddda9d1a8f0de.zip
Provide at least some references for statements with missing proofs.
Diffstat (limited to 'vc')
0 files changed, 0 insertions, 0 deletions