diff --git a/doc/dev/logs/2011-03-03 b/doc/dev/logs/2011-03-03 new file mode 100644 index 00000000..3f900c15 --- /dev/null +++ b/doc/dev/logs/2011-03-03 @@ -0,0 +1,9 @@ +Update on env: + + general explorer: __explorer + initial manifest: __manifest, __global + type manifests __object, __object_id, __global + type explorers: __object, __object_id, __type_explorers + type codegen: __object, __object_id, __global + type code: - +