Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Last revision Both sides next revision | ||
documentation:mailing [2019-12-16 09:22] mh |
documentation:mailing [2020-08-17 11:16] mh |
||
---|---|---|---|
Line 5: | Line 5: | ||
Please send contributions to this list to ''curry@lists.rwth-aachen.de''. Note that only subscribed members of the mailing list can post contributions to this list. | Please send contributions to this list to ''curry@lists.rwth-aachen.de''. Note that only subscribed members of the mailing list can post contributions to this list. | ||
- | You can also look at the current list of [[http://www-ps.informatik.uni-kiel.de/~mh/curry/currylist.cgi | subscribers]]. | + | You can also look at the current list of [[http://www-ps.informatik.uni-kiel.de/~mh/currylist/members.cgi | subscribers]]. |
If you are interested in previous messages distributed via this mailing list, you can look into the Curry mailing list [[http://www.informatik.uni-kiel.de/~curry/listarchive/ | archive]]. | If you are interested in previous messages distributed via this mailing list, you can look into the Curry mailing list [[http://www.informatik.uni-kiel.de/~curry/listarchive/ | archive]]. | ||