Home My Page Projects Flocq
Summary Activity Tracker News SCM Files

Activity

Activity: Start Date: End Date:

Time Activity By
2015-02-18
16:37:06 Source Code scm commit: Adapt to Coq 8.5 by introducing custom versions of iter_nat and iter_pos. (commit 38d09de)