diff options
Diffstat (limited to 'docs/proof')
| -rw-r--r-- | docs/proof/index.org (renamed from docs/proof/toc.org) | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/proof/toc.org b/docs/proof/index.org index 9d4bcdb..1b5f074 100644 --- a/docs/proof/toc.org +++ b/docs/proof/index.org @@ -1,3 +1,3 @@ -#+title: Table of Contents +#+title: Vericert Proof - [[./Compiler.html][Compiler]] |