Tasks #1466

Review and merge RST changes of ISY lecture

Added by S. Wrede about 9 years ago. Updated over 7 years ago.

Status:NewStart date:04/19/2013
Priority:NormalDue date:
Assignee:-% Done:


Category:Type Proposal
Target version:-


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.


#1 Updated by J. Moringen over 7 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 7 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 7 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...

Also available in: Atom PDF