Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
documentation:mailing [2014-03-26 10:23] mh |
documentation:mailing [2014-06-20 16:20] 127.0.0.1 external edit |
||
|---|---|---|---|
| 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://giscours.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/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]]. | ||
| + | |||
