On Mon, 20 Jan 2014, Christian Sternagel wrote:
I am back from JAIST (in Japan) to the University of Innsbruck again.
Could you please adapt the map accordingly.
I am forwarding this to isabelle-dev, since it is where administrative
questions can be discussed.
What is the general
I wonder if it could somehow be wiki driven, so that people could edit it
themselves?
Larry
On 24 Jan 2014, at 12:17, Makarius makar...@sketis.net wrote:
On Mon, 20 Jan 2014, Christian Sternagel wrote:
I am back from JAIST (in Japan) to the University of Innsbruck again. Could
you please
On Fri, 24 Jan 2014, Lawrence Paulson wrote:
I wonder if it could somehow be wiki driven, so that people could edit
it themselves?
I don't know how this is done technically, so I can't tell.
Socially, a wiki by itself merely accumulates rubbish. In the best case
it is just outdated like
It is impressive first-year geographical reach, if not for absolute numbers.
What about a fully automatic system based on analysis of web server logs?
Yet another approach: to associate the world map with the AFP, with a pin at
every address from which an AFP entry has been accepted (whether
Hi,
Am Freitag, den 24.01.2014, 14:13 +0100 schrieb Makarius:
On Fri, 24 Jan 2014, Tobias Nipkow wrote:
the number of pins is not that impressive
There is always this unknown variable of actual Isabelle users. We have
occasionally made some statistics from the server log of the mirror
