Commit 94177c85 authored by Michael Hanus 's avatar Michael Hanus
Browse files

Manual updated

parent e34df728
......@@ -389,6 +389,7 @@ following term:
\input{lib/Char}
\input{lib/CHR}
\input{lib/CHRcompiled}
\input{lib/CLP.FD}
\input{lib/CLPFD}
\input{lib/CLPR}
\input{lib/CLPB}
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment