added Poplog/PML version 15.6/2.1 (experimental!);
authorwenzelm
Wed Oct 05 19:28:12 2005 +0200 (2005-10-05)
changeset 1776872575258a561
parent 17767 504acb86c9f5
child 17769 3a324f3b34f6
added Poplog/PML version 15.6/2.1 (experimental!);
etc/settings
     1.1 --- a/etc/settings	Wed Oct 05 18:38:43 2005 +0200
     1.2 +++ b/etc/settings	Wed Oct 05 19:28:12 2005 +0200
     1.3 @@ -43,6 +43,13 @@
     1.4  #ML_PLATFORM=""
     1.5  #ML_OPTIONS=""
     1.6  
     1.7 +# Poplog/PML version 15.6/2.1 (experimental!)
     1.8 +#ML_SYSTEM=poplogml
     1.9 +#ML_HOME="$ISABELLE_HOME/contrib/poplog/current-poplog/bin"
    1.10 +#ML_PLATFORM=""
    1.11 +#ML_OPTIONS="-noinit"
    1.12 +
    1.13 +
    1.14  
    1.15  ###
    1.16  ### Compilation options (cf. isatool usedir)