On 03/05/18 14:04, Lawrence Paulson wrote:
>>
>> What is your changeset id?
>
> ~/isabelle/Repos/src/HOL: hg id
> 8dc792d440b9+ tip
That is after my change 0acf3206a723. Did you see the problem in
36209dfb981e, too?
>> What are the build options, e.g. the bottom of the output of "isabelle
>> build -?” ?
The "isabelle build" tool with argument "-?" emits various settings for
convenience. E.g.
ISABELLE_BUILD_OPTIONS="threads=6"
ML_PLATFORM="x86-linux"
ML_HOME="/home/makarius/.isabelle/contrib/polyml-5.7.1-5/x86-linux"
ML_SYSTEM="polyml-5.7.1"
ML_OPTIONS="-H 1500"
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
