author | bulwahn |
Tue, 03 Aug 2010 08:23:08 +0200 (2010-08-03) | |
changeset 38132 | d9955b3b06fe |
parent 38117 | 5ae05823cfd9 |
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"]; |