[Agda] lib-0.7 vs lib-0.6

[Nils Anders Danielsson]

On 2013-01-29 19:07, Serge D. Mechveliani wrote:
> Please, what are the news of  lib-0.7  with respect to  lib-0.6 ?

darcs changes --from-tag=0\.6 --to-tag=0\.7

-- 
/NAD