diff options
| -rw-r--r-- | Doc/lib/lib.tex | 1 | ||||
| -rw-r--r-- | Doc/lib/libfuture.tex (renamed from Doc/lib/lib__future__.tex) | 0 |
2 files changed, 1 insertions, 0 deletions
diff --git a/Doc/lib/lib.tex b/Doc/lib/lib.tex index 928371c..ba3442a 100644 --- a/Doc/lib/lib.tex +++ b/Doc/lib/lib.tex @@ -101,6 +101,7 @@ and how to embed it in other applications. \input{libuser} \input{libbltin} % really __builtin__ \input{libmain} % really __main__ +\input{libfuture} % really __future__ \input{libstrings} % String Services \input{libstring} diff --git a/Doc/lib/lib__future__.tex b/Doc/lib/libfuture.tex index bd66368..bd66368 100644 --- a/Doc/lib/lib__future__.tex +++ b/Doc/lib/libfuture.tex |