alg icon indicating copy to clipboard operation
alg copied to clipboard
verified publisher icon andrejbauer

Menhir

Open andrejbauer opened this issue 12 years ago • 0 comments

It looks like alg used menhir from the very start. I suggest we keep using it. We'll provide binaries for people on Windows anyway.

andrejbauer avatar Oct 19 '13 18:10 andrejbauer