colo12-c703.uibk.ac.at Git - Flyspeck/.git/blob - formal_lp/old/ineqs/tests/all.hl

git://colo12-c703.uibk.ac.at / Flyspeck/.git / blob

summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD

[Flyspeck/.git] / formal_lp / old / ineqs / tests / all.hl

 load_path := "/mnt/Repository/formal_lp/ineqs/tests" :: "/mnt/Repository/formal_lp/hypermap" :: !load_path;;
 
 needs "nobranching_lp.hl";;
 
 needs "all_tests.hl";;

Unnamed repository; edit this file 'description' to name the repository.