Nag is a web-based application built upon the Horde Application Framework which provides a simple, clean interface for managing online task lists (i.e., todo lists). It also includes strong integration with the other Horde applications and allows users to share task lists or enable light-weight project management. WWW: http://www.horde.org/apps/nag/ tion/atom+xml'/>
aboutsummaryrefslogtreecommitdiffstats
path: root/math/why3-gpl
Commit message (Expand)AuthorAgeFilesLines
* Bump more ports that depend on libsqlite3.so:tijl2014-07-051-0/+1
* math/why3-gpl: Increase distinction between this and math/wny3marino2014-06-082-23/+4