diff --git a/Packages/Installation/changes.txt b/Packages/Installation/changes.txt index 2c256b75369..cb1710774e6 100644 --- a/Packages/Installation/changes.txt +++ b/Packages/Installation/changes.txt @@ -8,6 +8,7 @@ //--------------------------------------------------------------------- GLOB: Updated makefile. +GLOB: Introduced variable GMP_LIBNAME (-> libgmp.a || gmp.lib). GLOB: Check for LEDA_STD_HEADERS on windows compilers. GLOB: Now also binary distribution of libgmp for cygwin/g++. GLOB: Cleanup in gmp_menu and cln_menu. diff --git a/Packages/Installation/long_description.txt b/Packages/Installation/long_description.txt index 1923dd0d2fd..92fc4d1a9d8 100644 --- a/Packages/Installation/long_description.txt +++ b/Packages/Installation/long_description.txt @@ -3,6 +3,12 @@ //===================================================================== +//--------------------------------------------------------------------- +// revision 1.90 +//--------------------------------------------------------------------- + +GLOB: Introduced variable GMP_LIBNAME (-> libgmp.a || gmp.lib). + //--------------------------------------------------------------------- // revision 1.89 //--------------------------------------------------------------------- diff --git a/Packages/Installation/version b/Packages/Installation/version index d4efa7e794a..de44428cd11 100644 --- a/Packages/Installation/version +++ b/Packages/Installation/version @@ -1 +1 @@ -1.89 (10 January 2000) +1.90 (11 January 2000)