Philip Eisenlohr 4eff7cfdd8 fixed wrong name for "pos" options destination		2017-08-15 16:11:21 -04:00
..
misc	now more flexible, works for synthetic data and user selected data	2016-11-06 23:07:12 +01:00
post	added vector-valued conditions and cleaned obsolete code	2017-08-11 15:19:47 -04:00
pre	fixed wrong name for "pos" options destination	2017-08-15 16:11:21 -04:00