author | boehmes |
Thu, 03 Sep 2009 14:05:13 +0200 | |
changeset 32503 | 14efbc20b708 |
parent 32496 | 4ab00a2642c3 |
child 32509 | 9da37876874d |
permissions | -rw-r--r-- |
32503
14efbc20b708
Mirabelle: logging of exceptions (works only for PolyML)
boehmes
parents:
32496
diff
changeset
|
1 |
if can (unprefix "polyml") (getenv "ML_SYSTEM") then use_thy "MirabelleTest" |
14efbc20b708
Mirabelle: logging of exceptions (works only for PolyML)
boehmes
parents:
32496
diff
changeset
|
2 |
else (); |