Timestamp:
May 27, 2024, 10:54:56 AM (3 months ago)
Author:
Andrew Beach <ajbeach@…>
Branches:
master
Children:
4fc7388
Parents:
7da6a31
Message:

Added proposal for adding knowledge of modules to Cforall.

File:
1 added

Note: See TracChangeset for help on using the changeset viewer.