chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 026d102) | patch
authproofs: Document proof obligations
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 25 Apr 2021 17:05:32 +0000 (18:05 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 25 Apr 2021 17:05:32 +0000 (18:05 +0100)
commit7a4652abc63a2acd7890802e80ff431e641c1565
tree1d45774d5ad3214a4daa613848a879d0eb3245bctree | snapshot
parent026d10268ac72f2a2ea840975769613f409003b7commit | diff
authproofs: Document proof obligations

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
src/authproofs.rs diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.