[Agda] trouble at CVS repository for Agda

IKEGAMI Daisuke ikegami-daisuke at aist.go.jp
Fri Apr 21 04:01:53 CEST 2006

Previous message: [Agda] trouble at CVS repository for Agda
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Hello,

Thank you for fixing repository.
Now cvs command works correctly for Agda repository.

Ike

Previous message: [Agda] trouble at CVS repository for Agda
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Agda mailing list