|
| From: | Slawomir Kolodynski |
| Subject: | [Isarmathlib-devel] FormalMath.org down |
| Date: | Fri, 27 Feb 2009 14:35:31 -0800 (PST) |
It looks like TinyHosts.com that was hosting the FormalMath.org site
disappeared from the Internet. I have put the content at http://isarmathlib.org
.
formalmath.org should start redirecting there as well soon.
Slawekk
| [Prev in Thread] | Current Thread | [Next in Thread] |