Hi Karel, although there is a development snapshot[1] mico-2019.04 for download, and the snapshot content has changed since the mico-2019.01 snapshot, but the most recent commit in the darcs repository[2] is from 2019-01-29.
What am I missing? [1] http://www.mico.org/snapshots/ [2] http://www.mico.org/mico-darcs-repository Thanks! /haubi/ _______________________________________________ Mico-devel mailing list Mico-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/mico-devel
