14 Apr
2015
14 Apr
'15
2:56 a.m.
On 04/14/15 08:52 AM, Jan Stolarek wrote:
And now on topic: - the only project I've been using Trac for is GHC. It seems to lack some more advanced features but from a developer's perspective it conatins everything necessary to do the job. It can be customized to the needs of a project. I think the only major downside of Trac is that a single installation can only run a single project. Probably not a problem for Agda.
Jan, I'm using Trac for managing 5 independent internal projects without a problem and this is a single installation. Cheers, Karel