Macbroy20 works for me. Thanks, Florian and Alex.
Clemens
Quoting Alexander Krauss kra...@in.tum.de:
Quoting Clemens Ballarin balla...@in.tum.de:
[...]
pushing to
ssh://balla...@macbroy2.informatik.tu-muenchen.de//home/isabelle-repository/repos/isabelle
searching for changes
remote: Not
On Thu, 16 Aug 2012, Alexander Krauss wrote:
Quoting Clemens Ballarin balla...@in.tum.de:
[...]
pushing to
ssh://balla...@macbroy2.informatik.tu-muenchen.de//home/isabelle-repository/repos/isabelle
searching for changes
remote: Not trusting file
On Wed, 15 Aug 2012, Tjark Weber wrote:
On Wed, 2012-08-15 at 13:22 +0200, Makarius wrote:
I will have to take a look at the component business again soon, to
simplify it further and remove features and clones of other Isabelle
scripts.
Great. I've now turned download_components into an
produces
class 'mpatch.mpatchError'Python 2.7.3: /usr/bin/python2.7
Thu Aug 16 17:59:20 2012
A problem occurred in a Python script. Here is the sequence of function calls
leading up to the error, in the order they occurred.
...
Both with firefox and safari.
Tobias
That is indeed good news. Would it be appropriate to advise users to upgrade,
is there are no immediate need?
Larry
On 16 Aug 2012, at 16:39, Makarius wrote:
Oracle has released the important Java 7u6 yesterday, see also
http://www.oracle.com/us/corporate/press/1735645
It means much more
On Thu, 16 Aug 2012, Lawrence Paulson wrote:
That is indeed good news. Would it be appropriate to advise users to
upgrade, is there are no immediate need?
They can't. It requires a number of subtle changes in other components.
In the past few weeks I've worked towards that on the isabelle
On Thu, 16 Aug 2012, Tobias Nipkow wrote:
produces
class 'mpatch.mpatchError' Python 2.7.3: /usr/bin/python2.7
Thu Aug 16 17:59:20 2012
A problem occurred in a Python script. Here is the sequence of function calls
leading up to the error, in the order they occurred.
...
The end of
On Thu, 16 Aug 2012, Makarius wrote:
On Thu, 16 Aug 2012, Lawrence Paulson wrote:
That is indeed good news. Would it be appropriate to advise users to
upgrade, is there are no immediate need?
They can't. It requires a number of subtle changes in other components. In
the past few weeks
On Thu, 16 Aug 2012, Alexander Krauss wrote:
It could be an NFS corruption of the repository, or just the server
feeling too hot. I've no real idea.
This seems to be happening regularly now, which is really very annoying.
The testboard is not the main repository; so far the problem did not
