save/load history in the toplevel
save/load history in the toplevel

Ignore-this: dd139a44205d9912ec2b877260e80003

darcs-hash:20090520202351-c41ad-593cc844e36ecdb617ddefc176a21a49835e4f58

mfp/lwt,rneswold/lwt,c-cube/lwt,mirage/lwt,janestreet/lwt-async,ocsigen/lwt,rgrinberg/lwt,fdopen/lwt,mirage/lwt,gfxmonk/lwt,rneswold/lwt,ocsigen/lwt,rgrinberg/lwt,mfp/lwt,fdopen/lwt,ocsigen/lwt,janestreet/lwt-async,gfxmonk/lwt,c-cube/lwt,rneswold/lwt,rgrinberg/lwt,rgrinberg/lwt,c-cube/lwt