science/ltl2ba/HISTORY


1
2
3
4
5
6

2020-01-01 Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de>
	* DETAILS: version 1.2

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