diff options
Diffstat (limited to 'src/ChangeLog')
-rw-r--r-- | src/ChangeLog | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index 3ede6c74..9adb8f94 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,5 +1,12 @@ 2012-05-23 Gabriel Dos Reis <gdr@cs.tamu.edu> + * boot/tokens.boot: "@" is now a new keyword. + * boot/ast.boot (bfRestrict): New. + (bpTyped): Rename from bpTagged. Accept type restriction. + * boot/utility.boot (drop): Restrict the result to a %List. + +2012-05-23 Gabriel Dos Reis <gdr@cs.tamu.edu> + * interp/database.boot (%Constructor): New. (makeConstructor): Likewise. (makeInitialDB): Tidy. |