GitXplorerGitXplorer
r

biblio-irill

public
0 stars
8 forks
0 issues

Commits

List of commits on branch master.
Unverified
c467b0cab980c758736d2e2482fff9c87c42f68e

Merge pull request #11 from lefessan/lefessan

rrdicosmo committed 8 years ago
Unverified
27fa7ef7b040006a537ba26d91a3fde8b757d285

Recent Vouillon's papers

vvouillon committed 8 years ago
Unverified
ef34eacdd177a291014f8b4dc58c920edf0bb309

Add some OCamlPro's articles

llefessan committed 8 years ago
Unverified
e31f9a86b3a72a6fe73872bd97b5c9b7e432e202

Merge pull request #10 from zacchiro/master

rrdicosmo committed 8 years ago
Unverified
e583e3b04a2a354acbed6f31d09ded48736c2079

add recent and missing papers co-authored by me

zzacchiro committed 9 years ago
Unverified
9c5f3dfbedc5db61b6b1d04a9e3a60939f391730

Fixed quite a few errors in the .bib file

rrdicosmo committed 10 years ago