move cmt handling in its own file (WIP)
really move cmt handling in its own file
git mv cmt.ml[i] cmt_file.ml[i]
small code clean up
Add [Std]
Restore env.
small bugfix
Merge remote branch 'mshinwell/gdb-7.6-ocaml' into gdb-7.6-ocaml
tries to clean up the printing functions
keep a table of encountered type declarations
cache cmt informations
Start making use of the type table, which now stores type declarations
bugfix : use mark's env_from_summary function
minor bugfix
small cosmetic change
keep track of type parameters in the general case
access gdb source path
let gdb search in the source path
better loading of Env (might be too naive)
clean up + comment