Tags · Maxime Dénès / stdpp · GitLab

Tags give the ability to mark specific points in history as being important

coq-stdpp-1.1.0

0dbc1f4a · mention required opam version · Dec 18, 2017

Download source code

zip tar.gz tar.bz2 tar
coq-stdpp-1.0.0

92bb54a9 · edit opam file · Feb 13, 2017

Download source code

zip tar.gz tar.bz2 tar