2013-06-02 Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de>
	* INSTALL: use make_single in INSTALL

2013-05-31 Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de>
	* DETAILS: version 0.81

2013-05-30 Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de>
	* DEPENDS: added optional dependency on sqlite3-ocaml

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


.