alt-ergo-lib
AltErgoLib.Config
val libdir : string
val pluginsdir : string
val preludesdir : string
val datadir : string
val mandir : string