1.1 --- a/config/companion_libs/cloog.in	Mon Apr 30 22:54:15 2012 +0200
     1.2 +++ b/config/companion_libs/cloog.in	Wed May 02 21:09:29 2012 +0200
     1.3 @@ -8,8 +8,7 @@
     1.4  
     1.5  config CLOOG_V_0_15_11
     1.6      bool
     1.7 -    prompt "0.15.11 (EXPERIMENTAL)"
     1.8 -    depends on EXPERIMENTAL
     1.9 +    prompt "0.15.11"
    1.10      select CLOOG_0_15_1x
    1.11  
    1.12  config CLOOG_V_0_15_10

     2.1 --- a/config/companion_libs/gmp.in	Mon Apr 30 22:54:15 2012 +0200
     2.2 +++ b/config/companion_libs/gmp.in	Wed May 02 21:09:29 2012 +0200
     2.3 @@ -8,13 +8,11 @@
     2.4  
     2.5  config GMP_V_5_0_2
     2.6      bool
     2.7 -    prompt "5.0.2 (EXPERIMENTAL)"
     2.8 -    depends on EXPERIMENTAL
     2.9 +    prompt "5.0.2"
    2.10  
    2.11  config GMP_V_5_0_1
    2.12      bool
    2.13 -    prompt "5.0.1 (EXPERIMENTAL)"
    2.14 -    depends on EXPERIMENTAL
    2.15 +    prompt "5.0.1"
    2.16  
    2.17  config GMP_V_4_3_2
    2.18      bool

     3.1 --- a/config/companion_libs/mpc.in	Mon Apr 30 22:54:15 2012 +0200
     3.2 +++ b/config/companion_libs/mpc.in	Wed May 02 21:09:29 2012 +0200
     3.3 @@ -8,13 +8,12 @@
     3.4  
     3.5  config MPC_V_0_9
     3.6      bool
     3.7 -    prompt "0.9 (EXPERIMENTAL)"
     3.8 -    depends on EXPERIMENTAL
     3.9 +    prompt "0.9"
    3.10  
    3.11  config MPC_V_0_8_2
    3.12      bool
    3.13 -    prompt "0.8.2 (EXPERIMENTAL)"
    3.14 -    depends on EXPERIMENTAL
    3.15 +    prompt "0.8.2"
    3.16 +
    3.17  
    3.18  config MPC_V_0_8_1
    3.19      bool

     4.1 --- a/config/companion_libs/mpfr.in	Mon Apr 30 22:54:15 2012 +0200
     4.2 +++ b/config/companion_libs/mpfr.in	Wed May 02 21:09:29 2012 +0200
     4.3 @@ -8,13 +8,11 @@
     4.4  
     4.5  config MPFR_V_3_1_0
     4.6      bool
     4.7 -    prompt "3.1.0 (EXPERIMENTAL)"
     4.8 -    depends on EXPERIMENTAL
     4.9 +    prompt "3.1.0"
    4.10  
    4.11  config MPFR_V_3_0_1
    4.12      bool
    4.13 -    prompt "3.0.1 (EXPERIMENTAL)"
    4.14 -    depends on EXPERIMENTAL
    4.15 +    prompt "3.0.1"
    4.16  
    4.17  config MPFR_V_3_0_0
    4.18      bool

     5.1 --- a/config/companion_libs/ppl.in	Mon Apr 30 22:54:15 2012 +0200
     5.2 +++ b/config/companion_libs/ppl.in	Wed May 02 21:09:29 2012 +0200
     5.3 @@ -8,20 +8,17 @@
     5.4  
     5.5  config PPL_V_0_11_2
     5.6      bool
     5.7 -    prompt "0.11.2 (EXPERIMENTAL)"
     5.8 -    depends on EXPERIMENTAL
     5.9 +    prompt "0.11.2"
    5.10      select PPL_0_11
    5.11  
    5.12  config PPL_V_0_11_1
    5.13      bool
    5.14 -    prompt "0.11.1 (EXPERIMENTAL)"
    5.15 -    depends on EXPERIMENTAL
    5.16 +    prompt "0.11.1"
    5.17      select PPL_0_11
    5.18  
    5.19  config PPL_V_0_11
    5.20      bool
    5.21 -    prompt "0.11 (EXPERIMENTAL)"
    5.22 -    depends on EXPERIMENTAL
    5.23 +    prompt "0.11"
    5.24      select PPL_0_11
    5.25  
    5.26  config PPL_V_0_10_2