| changeset 32320 | 8175fda90c46 |
| parent 31310 | b5365a9db718 |
| child 34238 | b28be884edda |
--- a/Admin/isatest/settings/at-poly Tue Aug 04 08:45:03 2009 +0200 +++ b/Admin/isatest/settings/at-poly Tue Aug 04 13:29:52 2009 +0200 @@ -22,6 +22,6 @@ ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps" ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info" -ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true" +ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true -t true" HOL_USEDIR_OPTIONS="-p 2"