* h_program-lang/database_code.pl: note on case sensitivity
parse_info -> token_location
token -> token_origin
* h_program-lang/parse_info.mli: token_mutable
* h_program-lang/parse_info.mli: comments
* h_program-lang/parse_info.mli: remove dead code
* h_program-lang/parse_info.mli: more cleaning
* h_program-lang/parse_info.ml: getting rid of comment field
* h_program-lang/parse_info.mli: ded code
* h_program-lang/parse_info.mli: hide functions
* h_program-lang/parse_info.mli: estet
remove pinfo_of_info
* h_program-lang/parse_info.mli: estet
* h_program-lang/parse_info.mli: hide more functions
* h_program-lang/parse_info.mli: more hiding
* h_program-lang/parse_info.ml: removing dead code
* h_program-lang/parse_info.ml: misc
* h_program-lang/parse_info.ml: moving around
* h_program-lang/parse_info.mli: hide more
* h_program-lang/pretty_print_code.ml: