Differences
This shows you the differences between two versions of the page.
| Next revision | Previous revision Next revision Both sides next revision | ||
|
documentation:mailing [2007-08-09 16:33] jac created |
documentation:mailing [2014-06-20 16:20] 127.0.0.1 external edit |
||
|---|---|---|---|
| Line 8: | Line 8: | ||
| 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]]. | ||
| + | |||
