summaryrefslogtreecommitdiff
path: root/proofs
diff options
context:
space:
mode:
authorGravatar Stephane Glondu <steph@glondu.net>2010-08-06 16:19:50 -0400
committerGravatar Stephane Glondu <steph@glondu.net>2010-08-10 13:22:00 -0400
commitbb08a887b65a76da05885018c831ed14432d50b6 (patch)
tree3a7966522bcd1be3b0144d5a027c8a62786aebfd /proofs
parent907320d6b0bfe4728337815b1e6a5ffd5fcebc4d (diff)
New upstream release candidate
Diffstat (limited to 'proofs')
0 files changed, 0 insertions, 0 deletions