author | wenzelm |
Wed, 22 Sep 2010 18:21:48 +0200 | |
changeset 39616 | 8052101883c3 |
parent 39544 | 3a07bbc264b2 |
child 39655 | 8ad7fe9d6f0b |
permissions | -rw-r--r-- |
use_thys [ "Predicate_Compile_Examples", "Predicate_Compile_Quickcheck_Examples", "Specialisation_Examples", "IMP_1", "IMP_2", "IMP_3", "IMP_4"]; if getenv "EXEC_SWIPL" = "" andalso getenv "EXEC_YAP" = "" then (warning "No prolog system found - skipping some example theories"; ()) else (use_thys [ "Code_Prolog_Examples", "Context_Free_Grammar_Example", "Hotel_Example", "Lambda_Example", "List_Examples"]; Unsynchronized.setmp quick_and_dirty true use_thys ["Reg_Exp_Example"]);