util

Jan 23, 2018

c59c3d7 · Jan 23, 2018

This branch is 4989 commits behind UniMath/UniMath:master.

Name	Name	Last commit message	Last commit date
parent directory ..
enhanced-doc	enhanced-doc	update make-doc sed script for 8.5	Aug 15, 2015
checkstyle	checkstyle	rename checkstyle.sh	Jan 23, 2018
slowest	slowest	improve "make clean"	Jan 10, 2017

Provide feedback