Changes by: Aleksey Nogin (nogin at metaprl.org)
Date: 2007-08-08 15:03:09 -0700 (Wed, 08 Aug 2007)
Revision: 11926
Log message:
Automated merge of 11905:11924 from svn://svn.metaprl.org/omake-branches/jumbo/keyword into curry
Changes | Path(relative to omake-branches/jumbo/curry) |
Properties | . |
+1 -1 | CHANGELOG.txt |
+1 -1 | doc/html/changelog.html |
+16 -8 | doc/html/download.html |
+3 -1 | doc/html/index.html |
+2 -2 | doc/src/omake-doc.tex |
+2 -2 | omake.aip |
+1 -2 | src/ir/omake_value_type.ml |