--- layout: fc_discuss_archives title: Message 52 from Frama-C-discuss on April 2012 ---
Hello, has anybody sucessfully used ocamlpro's typerex-mode to navigate the Frama-C source tree? Also, which changes are needed for my plugin-makefile or the master makefile to use ocp-ocamlc -m instead of ocamlc? -- Best regards, Boris