Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
redisable Nitpick from Cygwin, until I've investigated the issue
authorblanchet
Fri, 03 Sep 2010 13:45:12 +0200
changeset 39111 2e9bdc6fbedf
parent 39110 a74bd9bfa880
child 39112 611e41ef07c3
redisable Nitpick from Cygwin, until I've investigated the issue
Admin/isatest/settings/cygwin-poly-e file | annotate | diff | comparison | revisions 
--- a/Admin/isatest/settings/cygwin-poly-e	Thu Sep 02 22:50:16 2010 +0200
+++ b/Admin/isatest/settings/cygwin-poly-e	Fri Sep 03 13:45:12 2010 +0200
@@ -24,4 +24,5 @@
 
 ISABELLE_USEDIR_OPTIONS="-M 1 -i false -d false"
 
-init_component "$HOME/contrib_devel/kodkodi"
+unset KODKODI
+#init_component "$HOME/contrib_devel/kodkodi"
isabelle