_oasis generated files
Merge branch 'master' into stable
build system stuff
merge from master
oasis files
merge from master
merge from master
oasis files
merge from master
oasis files
merge from master
oasis files
merge from dev
merge from master
oasis files
fix type mismatch
fix CCPrint.unit, add CCPrint.silent
CCTrie, a compressed functorial persistent trie structure
version 0.3
forgot odocl file