| author | wenzelm |
| Wed, 11 Aug 2010 00:47:09 +0200 | |
| changeset 38272 | dc53026c6350 |
| parent 38132 | d9955b3b06fe |
| child 38730 | 5bbdd9a9df62 |
| permissions | -rw-r--r-- |
|
36033
7106f079bd05
adding specialisation examples of the predicate compiler
bulwahn
parents:
35955
diff
changeset
|
1 |
use_thys ["Predicate_Compile_Examples", "Predicate_Compile_Quickcheck_Examples", "Specialisation_Examples"]; |
|
38132
d9955b3b06fe
only test prolog code examples if environment variable is set
bulwahn
parents:
38117
diff
changeset
|
2 |
if getenv "PROLOG_HOME" = "" then () else use_thys ["Code_Prolog_Examples"]; |