diff --git a/src/doc/helpsigs/helpsigs.val b/src/doc/helpsigs/helpsigs.val
index d942dd4..f6a74fa 100644
Binary files a/src/doc/helpsigs/helpsigs.val and b/src/doc/helpsigs/helpsigs.val differ
diff --git a/src/doc/helpsigs/htmlsigs/IntInf.html b/src/doc/helpsigs/htmlsigs/IntInf.html
new file mode 100644
index 0000000..77fd24c
--- /dev/null
+++ b/src/doc/helpsigs/htmlsigs/IntInf.html
@@ -0,0 +1,61 @@
+Structure IntInf
+
+Structure IntInf
+
+
+(* LargeInt -- arbitrary-precision integers 1995-09-04, 1998-04-12 *)
+(* This module requires Dynlib and the GNU GMP package to be installed *)
+
+type int
+
+val precision : int option
+val minInt : int option
+val maxInt : int option
+
+val ~ : int -> int
+val + : int * int -> int
+val - : int * int -> int
+val * : int * int -> int
+val div : int * int -> int
+val mod : int * int -> int
+val quot : int * int -> int
+val rem : int * int -> int
+val < : int * int -> bool
+val > : int * int -> bool
+val <= : int * int -> bool
+val >= : int * int -> bool
+val eq : int * int -> bool
+val ne : int * int -> bool
+val abs : int -> int
+val min : int * int -> int
+val max : int * int -> int
+
+val divMod : int * int -> int * int
+val quotRem : int * int -> int * int
+val pow : int * Int.int -> int
+val log2 : int -> Int.int
+
+val sign : int -> Int.int
+val sameSign : int * int -> bool
+val compare : int * int -> order
+
+val fromInt : Int.int -> int
+val toInt : int -> Int.int (* Overflow *)
+val toLarge : int -> int
+val fromLarge : int -> int
+
+val fromString : string -> int option
+val toString : int -> string
+
+val scan : StringCvt.radix
+ -> (char, 'a) StringCvt.reader -> (int, 'a) StringCvt.reader
+val fmt : StringCvt.radix -> int -> string
+
+
+
Moscow ML 2.10
diff --git a/src/doc/helpsigs/htmlsigs/idIndex.html b/src/doc/helpsigs/htmlsigs/idIndex.html
index 6cb6b90..f94f8ba 100644
--- a/src/doc/helpsigs/htmlsigs/idIndex.html
+++ b/src/doc/helpsigs/htmlsigs/idIndex.html
@@ -19,25 +19,25 @@ Symbolic identifiers
%%# (value; Msp)
%? (value; Msp)
&& (constructor; Msp)
-* (value; General, Int, Real, Word, Word8)
-+ (value; General, Int, Real, Time, Word, Word8)
-- (value; General, Int, Real, Time, Word, Word8)
+* (value; General, Int, IntInf, Real, Word, Word8)
++ (value; General, Int, IntInf, Real, Time, Word, Word8)
+- (value; General, Int, IntInf, Real, Time, Word, Word8)
/ (value; General, Real)
:: (constructor; General)
:= (value; General)
-< (value; Char, General, Int, Real, String, Time, Word, Word8)
+< (value; Char, General, Int, IntInf, Real, String, Time, Word, Word8)
<< (value; Word, Word8)
-<= (value; Char, General, Int, Real, String, Time, Word, Word8)
+<= (value; Char, General, Int, IntInf, Real, String, Time, Word, Word8)
<> (value; General)
= (value; General)
== (value; Real)
-> (value; Char, General, Int, Real, String, Time, Word, Word8)
->= (value; Char, General, Int, Real, String, Time, Word, Word8)
+> (value; Char, General, Int, IntInf, Real, String, Time, Word, Word8)
+>= (value; Char, General, Int, IntInf, Real, String, Time, Word, Word8)
>> (value; Word, Word8)
?= (value; Real)
@ (value; List)
^ (value; General, String)
-~ (value; General, Int, Real, Word, Word8)
+~ (value; General, Int, IntInf, Real, Word, Word8)
~>> (value; Word, Word8)
@@ -50,7 +50,7 @@ A
A_WRITE (constructor; FileSys)
abrt (value; Signal)
Abs (exception; SML90)
-abs (value; General, Int, Real)
+abs (value; General, Int, IntInf, Real)
accept (value; Socket)
access (value; FileSys)
access_mode (type; FileSys)
@@ -248,7 +248,7 @@ C
Command_ok (constructor; Mysql, Postgres)
CommandLine (structure)
comment (value; Msp)
-compare (value; Char, Date, FileSys, Int, Rbset, Real, Socket, String, Substring, Time, Word, Word8)
+compare (value; Char, Date, FileSys, Int, IntInf, Rbset, Real, Socket, String, Substring, Time, Word, Word8)
compile (value; Meta)
compileStructure (value; Meta)
compileToplevel (value; Meta)
@@ -319,9 +319,10 @@ D
dirstream (type; FileSys)
displayLines (value; Help)
Div (exception; General, Real)
-div (value; General, Int, Word, Word8)
+div (value; General, Int, IntInf, Word, Word8)
divi (value; Msp)
divia (value; Msp)
+divMod (value; IntInf)
dl (value; Msp)
dla (value; Msp)
dlclose (value; Dynlib)
@@ -362,6 +363,7 @@ E
end_block (value; PP)
end_of_stream (value; BasicIO, NJ93, SML90)
endOfStream (value; BinIO, TextIO)
+eq (value; IntInf)
eqclasses (value; Listsort)
EQUAL (constructor; General)
equal (value; Binaryset, Hashset, Intset, Rbset, Splayset)
@@ -424,7 +426,7 @@ F
flush_out (value; BasicIO, NJ93)
flush_ppstream (value; PP)
flushOut (value; BinIO, TextIO)
-fmt (value; Date, Int, Real, Time, Word, Word8)
+fmt (value; Date, Int, IntInf, Real, Time, Word, Word8)
fname (value; Mysql, Postgres)
fnames (value; Mysql, Postgres)
fnumber (value; Mysql, Postgres)
@@ -451,8 +453,8 @@ F
From (constructor; Rbset)
fromCString (value; Char, String)
fromDefault (value; Real)
-fromInt (value; Int, Real, Word, Word8)
-fromLarge (value; Int, Word, Word8)
+fromInt (value; Int, IntInf, Real, Word, Word8)
+fromLarge (value; Int, IntInf, Word, Word8)
fromLargeInt (value; Word, Word8)
fromLargeWord (value; Word, Word8)
fromList (value; Array, Array2, CharArray, CharVector, Dynarray, Vector, Word8Array, Word8Vector)
@@ -461,7 +463,7 @@ F
fromPng (value; Gdimage)
fromReal (value; Time)
fromSeconds (value; Time)
-fromString (value; Bool, Char, Date, Int, Path, Real, String, Time, Word, Word8)
+fromString (value; Bool, Char, Date, Int, IntInf, Path, Real, String, Time, Word, Word8)
fromtag (value; Mysql, Postgres)
fromTimeLocal (value; Date)
fromTimeUniv (value; Date)
@@ -601,11 +603,12 @@ I
insubmit (value; Msp)
Int (constructor; Mysql, Postgres)
Int (structure)
-int (type; General, Int)
+int (type; General, Int, IntInf)
int (value; Signal)
Interrupt (exception; General)
intersection (value; Binaryset, Intset, Rbset, Splayset)
intext (value; Msp)
+IntInf (structure)
Intmap (structure)
intmap (type; Intmap)
Intset (structure)
@@ -698,6 +701,7 @@ L
Location (structure)
Location (type; Location)
log10 (value; Math)
+log2 (value; IntInf)
lookahead (value; BasicIO, BinIO, NJ93, SML90, TextIO)
@@ -719,9 +723,9 @@ M
mark1a (value; Msp)
Match (exception; General)
Math (structure)
-max (value; Int, NJ93, Rbset, Real, Word, Word8)
+max (value; Int, IntInf, NJ93, Rbset, Real, Word, Word8)
maxChar (value; Char)
-maxInt (value; Int)
+maxInt (value; Int, IntInf)
maxLen (value; Array, CharArray, CharVector, Vector, Weak, Word8Array, Word8Vector)
maxOrd (value; Char)
maxSize (value; String)
@@ -732,9 +736,9 @@ M
merge (value; Listsort)
mergeUniq (value; Listsort)
Meta (structure)
-min (value; Int, NJ93, Rbset, Real, Word, Word8)
+min (value; Int, IntInf, NJ93, Rbset, Real, Word, Word8)
minChar (value; Char)
-minInt (value; Int)
+minInt (value; Int, IntInf)
minute (value; Date)
mk_ppstream (value; PP)
mkAbsolute (value; Path)
@@ -746,7 +750,7 @@ M
mkRelative (value; Path)
mkTable (value; Polyhash)
Mod (exception; SML90)
-mod (value; General, Int, Word, Word8)
+mod (value; General, Int, IntInf, Word, Word8)
mode (type; Gdimage)
modify (value; Array, Array2, ArraySlice, CharArray, CharArraySlice, Weak, Word8Array, Word8ArraySlice)
modifyi (value; Array, Array2, ArraySlice, CharArray, CharArraySlice, Weak, Word8Array, Word8ArraySlice)
@@ -767,6 +771,7 @@ N
- name (value; CommandLine)
- nCols (value; Array2)
+
- ne (value; IntInf)
- Neg (exception; SML90)
- new (value; Buffer)
- NEWDB (constructor; Gdbm)
@@ -900,13 +905,13 @@
P
- pos_out (value; Nonstdio)
- position (value; Substring)
- Postgres (structure)
-
- pow (value; Math)
+
- pow (value; IntInf, Math)
- PP (structure)
- pp_to_string (value; PP)
- ppconsumer (type; PP)
- ppstream (type; General)
- pre (value; Msp)
-
- precision (value; Int)
+
- precision (value; Int, IntInf)
- pred (value; Char)
- print (value; BasicIO, NJ93, TextIO)
- printDepth (value; Meta)
@@ -927,9 +932,10 @@
Q
@@ -979,7 +985,7 @@ R
- regmatchBool (value; Regex)
- regnexec (value; Regex)
- regnexecBool (value; Regex)
-
- rem (value; Int)
+
- rem (value; Int, IntInf)
- remove (value; Binarymap, FileSys, Gdbm, Intmap, Polygdbm, Polyhash, Redblackmap, Splaymap)
- rename (value; FileSys)
- reorganize (value; Gdbm, Polygdbm)
@@ -1011,9 +1017,9 @@
R
S
- sameDesc (value; Socket)
-
- sameSign (value; Int, Real)
+
- sameSign (value; Int, IntInf, Real)
- Sat (constructor; Date)
-
- scan (value; Bool, Date, Int, Real, Time, Word, Word8)
+
- scan (value; Bool, Date, Int, IntInf, Real, Time, Word, Word8)
- scanStream (value; TextIO)
- scanString (value; StringCvt)
- SCI (constructor; StringCvt)
@@ -1045,7 +1051,7 @@
S
- showquery (value; Mysql, Postgres)
- shutdown (value; Socket)
- shutdown_mode (type; Socket)
-
- sign (value; Int, Real)
+
- sign (value; Int, IntInf, Real)
- Signal (structure)
- signal (type; Signal, Unix)
- sin (value; Math, NJ93, SML90)
@@ -1177,10 +1183,10 @@
T
- To (constructor; Rbset)
- toCString (value; Char, String)
- toDefault (value; Real)
-
- toInt (value; Int, Word, Word8)
+
- toInt (value; Int, IntInf, Word, Word8)
- toIntX (value; Word, Word8)
- tokens (value; Regex, String, Substring)
-
- toLarge (value; Int, Word, Word8)
+
- toLarge (value; Int, IntInf, Word, Word8)
- toLargeInt (value; Word, Word8)
- toLargeIntX (value; Word, Word8)
- toLargeWord (value; Word, Word8)
@@ -1192,7 +1198,7 @@
T
- toPng (value; Gdimage)
- toReal (value; Time)
- toSeconds (value; Time)
-
- toString (value; Bool, Char, Date, Int, Path, Real, String, Time, Word, Word8)
+
- toString (value; Bool, Char, Date, Int, IntInf, Path, Real, String, Time, Word, Word8)
- totalCPUTimer (value; Timer)
- totalRealTimer (value; Timer)
- toTime (value; Date)
diff --git a/src/doc/manual.pdf b/src/doc/manual.pdf
index e3c795d..8329521 100644
Binary files a/src/doc/manual.pdf and b/src/doc/manual.pdf differ
diff --git a/src/doc/manual.tex b/src/doc/manual.tex
index 9d941b9..42a639e 100644
--- a/src/doc/manual.tex
+++ b/src/doc/manual.tex
@@ -78,7 +78,7 @@
\begin{center}
\begin{tabular}{|c|}\hline
\rule[-0.4cm]{0cm}{1cm}The Moscow ML home page is\ \
- \url{http://www.dina.kvl.dk/~sestoft/mosml.html}\\\hline
+ \url{http://mosml.org}\\\hline
\end{tabular}
\end{center}
diff --git a/src/doc/mosmllib.pdf b/src/doc/mosmllib.pdf
index cf09a01..c98249e 100644
Binary files a/src/doc/mosmllib.pdf and b/src/doc/mosmllib.pdf differ
diff --git a/src/doc/mosmllib.tex b/src/doc/mosmllib.tex
index b8544bd..badb867 100644
--- a/src/doc/mosmllib.tex
+++ b/src/doc/mosmllib.tex
@@ -51,7 +51,7 @@ \subsection*{Alternative formats of this document}
\subsubsection*{Hypertext on the World-Wide Web}
The manual is available at
-\verb$http://www.dina.kvl.dk/~sestoft/mosmllib/$ for online browsing.
+\verb$http://mosml.org/mosmllib/$ for online browsing.
\subsubsection*{Hypertext in the Moscow ML distribution}
@@ -91,7 +91,7 @@ \subsubsection*{On-line help in the Moscow ML interactive system}
\begin{center}
\begin{tabular}{|c|}\hline
\rule[-0.4cm]{0cm}{1cm}The Moscow ML home page is\ \
- \verb$http://www.dina.kvl.dk/~sestoft/mosml.html$\\\hline
+ \verb$http://mosml.org$\\\hline
\end{tabular}
\end{center}
diff --git a/src/doc/mosmlref.pdf b/src/doc/mosmlref.pdf
index d194faf..e8347d6 100644
Binary files a/src/doc/mosmlref.pdf and b/src/doc/mosmlref.pdf differ
diff --git a/src/doc/mosmlref.tex b/src/doc/mosmlref.tex
index 864de01..63406b1 100644
--- a/src/doc/mosmlref.tex
+++ b/src/doc/mosmlref.tex
@@ -87,7 +87,7 @@
\begin{center}
\begin{tabular}{|c|}\hline
\rule[-0.4cm]{0cm}{1cm}The Moscow ML home page is\ \
- \url{http://www.dina.kvl.dk/~sestoft/mosml.html}\\\hline
+ \url{http://mosml.org}\\\hline
\end{tabular}
\end{center}