diff -r feede61efa96 -r 866172a16472 book/src/atccl_datatypes.txt
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/book/src/atccl_datatypes.txt	Wed Mar 23 21:10:10 2011 +0100
@@ -0,0 +1,4 @@
+string           = """ { visible_character } """
+int              = [ "-" ] digit { digit }
+string_array     = "[" { string { "," string } } "]"
+int_array        = "[" { int { "," int } } "]"