diff options
author | Yann Herklotz <git@yannherklotz.com> | 2022-04-21 18:45:13 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2022-04-21 18:45:13 +0100 |
commit | 06d2ac31a9a07bd8d73f9f4792abd8dc97c4649e (patch) | |
tree | b2dc191360e393bcd4c2b1d69d34d9ca16b80a62 /lsr_env.tex | |
parent | f9c4176a48c61530aa9bc1da77d9b1a6b3212871 (diff) | |
download | lsr22_fvhls-06d2ac31a9a07bd8d73f9f4792abd8dc97c4649e.tar.gz lsr22_fvhls-06d2ac31a9a07bd8d73f9f4792abd8dc97c4649e.zip |
Add an index
Diffstat (limited to 'lsr_env.tex')
-rw-r--r-- | lsr_env.tex | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/lsr_env.tex b/lsr_env.tex index e8dde80..188ebe4 100644 --- a/lsr_env.tex +++ b/lsr_env.tex @@ -471,4 +471,8 @@ \setupfootnotes[align={stretch,verytolerant,hz,hanging,hyphenated}] +\define[1]\lindex{\index{intermediate language+#1}} +\define[1]\oindex{\index{optimisation+#1}} +\define[1]\pindex{\index{proof+#1}} + \stopenvironment |