diff options
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 |