matita.cs.unibo.it Git - fireball-separation.git/search

]> matita.cs.unibo.it Git - fireball-separation.git/search

2017-07-18	Claudio Sacerdoti...	Missing parenthesis fixed	commit \| commitdiff \| tree
2017-07-18	Claudio Sacerdoti...	Failing case found	commit \| commitdiff \| tree
2017-07-18	Claudio Sacerdoti...	Hack to reserve var 0 to purify it to BOM removed	commit \| commitdiff \| tree
2017-07-18	Claudio Sacerdoti...	String ==> Bytes to make recent ocaml compilers happy	commit \| commitdiff \| tree

Unnamed repository; edit this file 'description' to name the repository.