Re: [isabelle-dev] Problems with Fedora

[Makarius]

On Wed, 2 Oct 2013, Makarius wrote:

My general tendency is to deliver factory defaults that avoid serious 
problems, but might take away some elite features.


See now

changeset:   54037:ab77ec347220
user:wenzelm
date:Wed Oct 02 19:43:58 2013 +0200
files:   Admin/Linux/Isabelle etc/settings src/Doc/JEdit/JEdit.thy
description:
unset XMODIFIERS by default, in order to prevent total loss of key events 
seen on Fedora 18/19;



We have a few weeks of final testing of public Isabelle2013-1 release 
candidates.  If the above hurts other Linux distrubution defaults, we need 
to look again.



Makarius
___
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

Re: [isabelle-dev] sledgehammer

[Jasmin Christian Blanchette]

Am 03.10.2013 um 12:08 schrieb Tobias Nipkow nip...@in.tum.de:

 With Isabelle/jedit (566b769c3477) I get
 
 remote_vampire: Error: SystemOnTPTP is currently not available: ERROR: 
 Cannot
 make temp dir /tmp/SystemOnTPTPFormReply634.
 
 remote_e_sine: Error: SystemOnTPTP is currently not available: ERROR: Cannot
 make temp dir /tmp/SystemOnTPTPFormReply634.
 
 It looks like the problem is on the SystemOnTPTP side, I am just posting this 
 in
 case it is a last minute problem on our side.

This is almost certainly a problem on the SystemOnTPTP side (hence the cc). The 
/tmp directory seems to get full there every six months or so. Telling Geoff 
is usually enough to make the problem vanish.

Jasmin

___
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

Re: [isabelle-dev] Fork of Isabelle2013-1 release repository TODAY

[Makarius]

On Thu, 3 Oct 2013, Makarius wrote:


the fork of the isabelle-release repository will happen today.

Before preparing further commits for the post-release version of the 
main Isabelle repository, please await the second announcement later in 
the evening that the fork has happened, so that we have a clear 
distinction what is meant for Isabelle2013-1 and what for the next 
release after it.


We are now past point 0 for the coming Isabelle2013-1 relase.  This means:

  * https://bitbucket.org/isabelle_project/isabelle-release/ is where the
final release preparations happen before roll-out in approx. 5 weeks.

There is no push access.  Any changes that are relevant for the
release need to be sent to me via email (produced by hg export or
hg bundle).

The starting point is
https://bitbucket.org/isabelle_project/isabelle-release/commits/65c6a00ff86b

  * http://isabelle.in.tum.de/repos/isabelle is back in post-release mode
right now (changeset 5bf55a713232).  Anything pushed there is for the
next release after Isabelle2013-1.

Big upheaveals should be avoided, so that the release branch can be
merged back cleanly after several weeks; but it is better to publish
small changes now than to stockpile them for a long time.

  * AFP needs to be understood wrt. isabelle-release.

Gerwin will explain his organization of the AFP release for
Isabelle2013-1, based on the afp-devel repository.

  * mira tests isabelle, not isabelle-release

  * isatest tests isabelle-release

  * Isabelle2013-1-RC versions based on isabelle-release will be
announced on isabelle-users soon.

I hope that many people will join the testing efforts on their lazy linux, 
wicket windows, and alien apple machines


There is Bitbucket issue tracking via 
https://bitbucket.org/isabelle_project/isabelle-release/issues, although 
last time it was de-facto just a marginal extension of my private mail 
folder.


I am myself not following the main Isabelle repository in the next few 
weeks, but concentrate on open issues for the release (on isabelle-users). 
Moreover, I will be on vacation from 17-Oct to 04-Nov and make the final 
launch afterwards.  This is why we have some extra weeks for extra 
testing.



Makarius
___
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev