Re: tlaplus.net is down

Hi Leslie,

I've removed the references to tlaplus.net on Wikipedia, both on https://en.wikipedia.org/wiki/Temporal_logic_of_actions and on https://en.wikipedia.org/wiki/PlusCal.

It's a bit confusing because some subdomains of tlaplus.net are still running, e.g. http://bugzilla.tlaplus.net/ which is linked to from your homepage; see:

http://research.microsoft.com/en-us/um/people/lamport/tla/toolbox.html#problem

It's a bit unfortunate that tlaplus.net is dead, because apparently at some point it was the "official" homepage, and references to it have made their way into books:

http://books.google.co.uk/books?id=IMtyly1bpw4C&pg=PA62&dq=tlaplus.net&hl=en&sa=X&ei=P6xrVNj8C8K1sQTwlYCoDA&ved=0CCUQ6AEwAA#v=onepage&q=tlaplus.net&f=false

http://books.google.co.uk/books?id=zAEZ6-OeBM0C&pg=PA148&dq=tlaplus.net&hl=en&sa=X&ei=P6xrVNj8C8K1sQTwlYCoDA&ved=0CCkQ6AEwAQ#v=onepage&q=tlaplus.net&f=false

(It's also unfortunate because IMHO, having a dedicated domain like tlaplus.net seems a bit more professional than a subsection of your research homepage. I'm not criticizing; that's just how it comes across.)

Best wishes,

James

On Tuesday, November 18, 2014 7:04:28 PM UTC, Leslie Lamport wrote:

When I search for TLA+ in Bing or Google, the first result is

http://research.microsoft.com/en-us/um/people/lamport/tla/tla.html

which is the home page of the current TLA+ web site. If you find a link to tlaplus.net on that site, please let me know and I will remove it. We are not responsible for the links on Wikipedia or any other web site not belonging to Microsoft Research or the MSR-Inria Joint Center.

Leslie Lamport

On Monday, November 17, 2014 2:40:18 PM UTC-8, James Fisher wrote:
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://www.google.com/url?q=http%3A%2F%2Ftlaplus.net%2F&sa=D&sntz=1&usg=AFQjCNGv_9MeImPWrlCeg81BtcVHcSPKbg.. 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 80.67.28.152...

* Connected to www.tlaplus.net (80.67.28.152) 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

<

<html>

<head>

<title>Nicht verfügbar</title>

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

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

</head>

<body bgcolor="#FFFFFF">

<h2>Diese Präsenz ist derzeit nicht verfügbar.</h2>

</body>

<head>

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

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

</head>

</html>

* Closing connection 0