[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: tlaplus.net is down

Hi Leslie,

I fixed the tlaplus.net page. Sorry for inconvenince about it. It seems that you created the TLA+ community here in Google Group - so I'll delete the old forum we used for discussions back in 2010. 
I'm planing to maintain the tlaplus.net further and make it an aggregation of resources pointing to different places, where TLA+ is used.

Kind regards,


Am Montag, 17. November 2014 23:40:18 UTC+1 schrieb James Fisher:
I see several links on the web to pages on tlaplus.net. For example, the Wikipedia page https://en.wikipedia.org/wiki/Temporal_logic_of_actions links to the URL http://www.tlaplus.net/tools/tla-toolbox/ .

However, all HTTP requests to http://www.tlaplus.net/.. and http://tlaplus.net/.. give me a page saying "Diese Präsenz ist derzeit nicht verfügbar." Like so:

> curl -v -X GET http://www.tlaplus.net/tools/tla-toolbox/

* Hostname was NOT found in DNS cache

*   Trying

* Connected to www.tlaplus.net ( port 80 (#0)

> GET /tools/tla-toolbox/ HTTP/1.1

> User-Agent: curl/7.37.1

> Host: www.tlaplus.net

> Accept: */*

< HTTP/1.1 200 OK

< Date: Mon, 17 Nov 2014 22:37:09 GMT

* Server Apache/2.2.22 is not blacklisted

< Server: Apache/2.2.22

< Last-Modified: Thu, 30 Jan 2014 11:48:28 GMT

< ETag: "6ca8131-160-4f12ea2be1b00"

< Accept-Ranges: bytes

< Content-Length: 352

< Connection: close

< Content-Type: text/html



<title>Nicht verf&uuml;gbar</title>

<meta HTTP-EQUIV="Pragma" CONTENT="no-cache">

<meta HTTP-EQUIV="Expires" CONTENT="-1">


<body bgcolor="#FFFFFF">

<h2>Diese Pr&auml;senz ist derzeit nicht verf&uuml;gbar.</h2>



<meta HTTP-EQUIV="Pragma" CONTENT="no-cache">

<meta HTTP-EQUIV="Expires" CONTENT="-1">



* Closing connection 0