2013-05-26 Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de>
	* DETAILS: version Fluorine-20130501
	* DEPENDS: added dependencies on coq, zarith, ltl2ba

2012-02-09 Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de>
	* DEPENDS, DETAILS: spell created

