Mercurial Mercurial > wneuper > isa / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | bz2 | gz | help
reenable Nitpick on Cygwin;
authorblanchet
Thu, 02 Sep 2010 15:47:59 +0200
changeset 3928708a9970ca2fe
parent 39283 bef9e5dd0fd0
child 39288 c51e80de9b7e
reenable Nitpick on Cygwin;
we'll see tomorrow if there's still a failure, and if so I'll investigate
Admin/isatest/settings/cygwin-poly-e file | annotate | diff | comparison | revisions 
     1.1 --- a/Admin/isatest/settings/cygwin-poly-e	Thu Sep 02 13:45:39 2010 +0200
     1.2 +++ b/Admin/isatest/settings/cygwin-poly-e	Thu Sep 02 15:47:59 2010 +0200
     1.3 @@ -24,6 +24,4 @@
     1.4  
     1.5  ISABELLE_USEDIR_OPTIONS="-M 1 -i false -d false"
     1.6  
     1.7 -# Disable while Jasmin is on vacation
     1.8 -unset KODKODI
     1.9 -#init_component "$HOME/contrib_devel/kodkodi"
    1.10 +init_component "$HOME/contrib_devel/kodkodi"
wneuper/isa