Mercurial Mercurial > repos > isabelle / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/isatest/isatest-makeall
changeset 44978 a04f3eb3943c
parent 41967 6aa69999da8f
child 45861 4bb0fc92247b
equal deleted inserted replaced
44977:1b2ce8d0f8e3 44978:a04f3eb3943c 
    72         NICE=""
 
    72         NICE=""
 
    73         ;;
 
    73         ;;
 
    74 
    74 
    75     macbroy5)
 
    75     macbroy5)
 
    76         MFLAGS="-k -j 2"
 
    76         MFLAGS="-k -j 2"
 
       
    77         NICE=""
 
       
    78         ;;
 
       
    79 
       
    80     macbroy6)
 
       
    81         MFLAGS="-k"
 
    77         NICE=""
 
    82         NICE=""
 
    78         ;;
 
    83         ;;
 
    79 
    84 
    80     macbroy22)
 
    85     macbroy22)
 
    81         MFLAGS="-k"
 
    86         MFLAGS="-k"
isabelle