Tasks #1466
Review and merge RST changes of ISY lecture
| Status: | New | Start date: | 04/19/2013 | |
|---|---|---|---|---|
| Priority: | Normal | Due date: | ||
| Assignee: | - | % Done: | 0% | |
| Category: | Type Proposal | |||
| Target version: | - |
Description
The ISY students currently (WS12/13) work on their own copy of the RST repository. We should decide when to merge (which) changes into RST master to make this visible to the wider public.
History
#1 Updated by J. Moringen over 9 years ago
Do we still want to do this? If so, in which repository can the types be accessed?
#2 Updated by J. Wienke over 9 years ago
We could have a brief look at least in case the repository is still accessible for use. Maybe some interesting types have been developed.
#3 Updated by S. Wrede over 9 years ago
I am also very much in favor of looking at what has been done. I doubt that many new types have been developed, but let's see...