| Thu, 29 Jul 2010 17:27:55 +0200 | bulwahn | adding values command and parsing prolog output | file | diff | annotate |
| Thu, 29 Jul 2010 17:27:54 +0200 | bulwahn | adding example file for prolog code generation; adding prolog code generation example to IsaMakefile | file | diff | annotate |