2013-05-31 Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de>
	* PRE_BUILD: fix incompatibility with frama-c Fluorine-20130501

2013-05-26 Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de>
	* BUILD, DEPENDS, DETAILS: spell created

