Projects

FORALL-entry.

Returns all projects in the ITP/MDK Repository.

Parameters: none.

Fields:

WITH-subentries:

FORALL-Subentries: