src/HOL/Tools/Predicate_Compile/etc/settings
Thu, 28 Oct 2010 17:28:45 +0200 bulwahn adding a simple check to only run with a SWI-Prolog version known to work
Thu, 16 Sep 2010 13:49:06 +0200 bulwahn registering code_prolog as component; using environment variable; adding settings file for prolog code generation
less more (0) tip