--- rpl/LIMITATIONS	2013/03/27 09:14:50	1.129
+++ rpl/LIMITATIONS	2013/03/27 21:31:22	1.132
@@ -1,7 +1,5 @@
 RESTRICTIONS
-	Only formatted and flow files are supported.
 
-Corriger les dépassements dans NEG.
 Mettre le drapeau de debug dans la pile système pour pouvoir sauter
 les fonctions appelées lors d'un HALT/CONT.
 Réduire le nombre de pipes entre deux processus.
@@ -11,6 +9,11 @@ Réduire le nombre de pipes entre deux p
 		{ <[ <[ "character*(*)" "standard*(*)" ]> <[ "character*(*)"
 		"standard*(*)" ]> ]> }
 
+[[1 2 ]]3 valide
+[[ 1 2]] valide
+{{ 3 }} invalide
+{ 5} invalide
+
 Utiliser Frama-c + why + alt-argo pour rechercher les erreurs.
 
 Ajouter la translitération dans l'écriture des fichiers.