summaryrefslogtreecommitdiff
path: root/proofs
diff options
context:
space:
mode:
authorJaron Kent-Dobias <jaron@kent-dobias.com>2022-10-21 17:32:09 +0200
committerJaron Kent-Dobias <jaron@kent-dobias.com>2022-10-21 17:32:09 +0200
commite9332328dd3f154d985cf7bd153d9fdd2c9a4d69 (patch)
treeddcec697e257eb399623b05d7e049358468d0b60 /proofs
parent738d0a77ae244cce8e5f9b6faaba14a277bda330 (diff)
downloadPRE_107_064111-e9332328dd3f154d985cf7bd153d9fdd2c9a4d69.tar.gz
PRE_107_064111-e9332328dd3f154d985cf7bd153d9fdd2c9a4d69.tar.bz2
PRE_107_064111-e9332328dd3f154d985cf7bd153d9fdd2c9a4d69.zip
Added legend and some small changes.
Diffstat (limited to 'proofs')
0 files changed, 0 insertions, 0 deletions