module Config:Information about version of Frama-C.sig
..end
The body of this module is generated from Makefile.in.
Consult the Plugin Development Guide for additional details.
val version : string
val date : string
val is_gui : bool Pervasives.ref
val datadir : string
val libdir : string
val plugin_dir : string
val static_plugins : string list
val static_gui_plugins : string list