For the record: The AFP was apparently never down. It's just my ISP at home
that doesn't seem to like "sourceforge.net" these days. Even basic things like
"ping" don't work from home -- but they do work when I'm logged on a TU server.
Strange...
Jasmin
Am 23.04.2014 um 07:35 schrieb Tobias Nip
Hi all,
For the last three hours or so, the AFP Mercurial repository has been
unresponsive for me, "hanging" after:
$ hg out
comparing with ssh://blanche...@hg.code.sf.net/p/afp/code
or any other "hg" command requiring the server. :S
Jasmin
On Tue, 25 Mar 2014, Makarius wrote:
* Command 'SML_file' reads and evaluates the given Standard ML file.
Toplevel bindings are stored within the theory context; the initial
environment is restricted to the Standard ML implementation of
Poly/ML, without the add-ons of Isabelle/ML. See also
~/sr
On Mon, 21 Apr 2014, Florian Haftmann wrote:
http://isabelle.in.tum.de/reports/Isabelle/report/46b09298dc124054957dc1d25ee4fa61
See now
changeset: 4409:1d9135e2d3ed
tag: tip
user:wenzelm
date:Tue Apr 22 13:38:45 2014 +0200
summary: recovered global integrity of s
On Fri, 11 Apr 2014, Makarius wrote:
* Session ROOT specifications support explicit 'document_files' for
robust dependencies on LaTeX sources. Only these explicitly given
files are copied to the document output directory, before document
processing is started.
This refers to Isabelle/cd8b6d84