1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/book/src/atccl_datatypes.txt	Wed Mar 23 21:10:10 2011 +0100
     1.3 @@ -0,0 +1,4 @@
     1.4 +string           = """ { visible_character } """
     1.5 +int              = [ "-" ] digit { digit }
     1.6 +string_array     = "[" { string { "," string } } "]"
     1.7 +int_array        = "[" { int { "," int } } "]"