1 files changed, 18 insertions, 17 deletions

diff --git a/INSTALL b/INSTALL
index 3175d25..07c5715 100644
--- a/INSTALL
+++ b/INSTALL
@@ -1,10 +1,10 @@
 # Requirements
 
-A full installation of nissy requires a little more than 2Gb of space,
-of which 1.6Gb are occupied by the huge pruning table for fast optimal solving,
+A full installation of nissy requires about 3Gb of space,
+of which 2.3Gb are occupied by the huge pruning table for fast optimal solving,
 and running it requires the same amount of RAM.
 One can choose to never use this function and not to install the relative
-pruning table. There is an alternative (about 5 times slower)
+pruning table. There is an alternative (slower)
 optimal solving function that uses about 500Mb of RAM.
 
 # Installation
@@ -28,12 +28,12 @@ Follows the instructions below to install the pruning tables.
 ## Tables
 Nissy needs to generate certain large tables to work. These tables are by default
 generated the first time they are needed (e.g the first time you ask to solve a
-certain step) and then saved to a file. The following times nissy simply loads the
-corresponding file from the hard disk.
+certain step) and then saved to a file. Whenever these tables are needed again,
+nissy simply loads the corresponding file from the hard disk.
 
-The very large table for optimal solving can take some time to generate (about 20
-minutes on my fairly old but decent laptop, using 8 CPU threads). All other
-tables are much faster.
+The very large table for optimal solving can take some time to generate
+(about 1.5 hours on my fairly old but decent laptop, using 8 CPU threads).
+All other tables are much faster.
 
 You can ask nissy to generate all the tables it will ever need with the gen
 command. It is recommended to use more than one thread, if your CPU has them.
@@ -44,12 +44,13 @@ nissy gen -t 8
 to generate all tables using 8 threads.
 
 Alternatively, you can simply download all the tables and copy them into the
-correct folder (see manual page, ENVIRONMENT section).
-Choose one of the following:
-        https://math.uni.lu/tronto/nissy/nissy-tables-full.zip
-        https://math.uni.lu/tronto/nissy/nissy-tables-full.tar.gz
-        https://math.uni.lu/tronto/nissy/nissy-tables-nohuge.zip
-        https://math.uni.lu/tronto/nissy/nissy-tables-nohuge.tar.gz
-extract the archive and copy the tables folder into NISSIDATA (paste there
-the whole folder, not file by file). The "nohuge" files are much smaller and do not
-contain the huge pruning table for the optimal solver.
+correct folder (see manual page, ENVIRONMENT section). On UNIX operating
+systems this folder is either .nissy/tables in the user's home directory or
+$XDG_DATA_HOME/nissy/tables if the XDG variable is configured. On Windows
+it is the same directory as the nissy.exe executable file.
+
+Choose either (zip format)
+        https://math.uni.lu/tronto/nissy/nissy-tables-2.0.zip
+or (tar.gz format)
+        https://math.uni.lu/tronto/nissy/nissy-tables-2.0.tar.gz
+and extract the archive into the correct folder.