diff options
author | Yann Herklotz <git@yannherklotz.com> | 2021-10-09 14:27:17 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2021-10-09 14:27:17 +0100 |
commit | f85238030a96a082f19446a7998da97123ce7026 (patch) | |
tree | 86ad5719c8a27d66c9ee702c53eee694905d777a | |
parent | a00b8a3e6067b9887be79e61609a044d1259dc06 (diff) | |
download | vericert-docs-f85238030a96a082f19446a7998da97123ce7026.tar.gz vericert-docs-f85238030a96a082f19446a7998da97123ce7026.zip |
Update link
-rw-r--r-- | documentation.org | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/documentation.org b/documentation.org index 406a3df..b83d38e 100644 --- a/documentation.org +++ b/documentation.org @@ -744,7 +744,7 @@ to reason about the RAM when it isn't enabled. *** Useful links -- [[https://yannherklotz.com/papers/fvhls_oopsla21.pdf][OOPSLA'21 preprint]]. +- {{{link([[/papers/fvhls_oopsla21.pdf][OOPSLA'21 preprint]],[[./static/papers/fvhls_oopsla21.pdf][OOPSLA'21 preprint]])}}}. - [[https://youtu.be/clPiKbKVlUA][OOPSLA'21 presentation]]. - [[https://github.com/ymherklotz/vericert][Github repository]]. |