--- rpl/LIMITATIONS	2017/06/29 14:54:42	1.188
+++ rpl/LIMITATIONS	2017/08/02 08:12:46	1.190
@@ -1,16 +1,7 @@
 RESTRICTIONS
 
-attention : types EXT
-si erreur dans recherche_type, rechercher les fonctions
-__type_new() dans les bibliothèques en balayant
-(*s_etat_processus).s_bibliotheques.
-
-([]) -> ensemble
 (/ /) -> polynôme
 
-Rajouter une option -l pour charger des bibliothèques pour la compilation.
-Elles sont déchargées juste après.
-
 TOKENIZE ne fonctionne pas avec des chaînes qui comportent un \t.
 Idem pour des arguments contenant des parenthèses.
 -> normal, les tokens doivent avoir un sens en RPL/2.