diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2017-08-22 20:12:45 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2017-08-22 20:12:45 +0200 |
| commit | 4d4cf60445784674cebc9ef5ec33ce02721fa24e (patch) | |
| tree | 7fbc527f709a810ca4915eb447bc77502549a852 | |
| parent | c183f0cb8e53661ed1a05829cc9cbf9767ab7088 (diff) | |
| download | ocaml-4d4cf60445784674cebc9ef5ec33ce02721fa24e.tar.gz | |
Minor rewording
| -rw-r--r-- | manual/manual/library/libnum.etex | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/manual/manual/library/libnum.etex b/manual/manual/library/libnum.etex index 4e50b0ec1e..5e53a196f6 100644 --- a/manual/manual/library/libnum.etex +++ b/manual/manual/library/libnum.etex @@ -1,10 +1,10 @@ -\chapter{The legacy num library} -\pdfchapterfold{-3}{The legacy num library} +\chapter{The num library: arbitrary-precision rational arithmetic} +\pdfchapterfold{-3}{The num library: arbitrary-precision integer and rational arithmetic} %HEVEA\cutname{libnum.html} -The legacy "num" library implemented integer arithmetic and rational -arithmetic in arbitrary precision. It has been split off from the core -OCaml distribution starting from the 4.06.0 release and can be found +The "num" library implements integer arithmetic and rational +arithmetic in arbitrary precision. It was split off the core +OCaml distribution starting with the 4.06.0 release, and can now be found at \url{https://github.com/ocaml/num}. New applications that need arbitrary-precision arithmetic should use the |