Differences
This shows you the differences between two versions of the page.
Next revision Both sides next revision | |||
documentation:mailing [2007-08-09 16:33] jac created |
documentation:mailing [2014-03-26 10:23] mh |
||
---|---|---|---|
Line 5: | Line 5: | ||
Please send contributions to this list to ''curry@informatik.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@informatik.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://giscours.informatik.uni-kiel.de/~mh/curry/currylist.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]]. |