| Thu, 29 Jul 2010 17:27:55 +0200 | bulwahn | correcting scanning | changeset | files |
| Thu, 29 Jul 2010 17:27:55 +0200 | bulwahn | adding values command and parsing prolog output | changeset | files |
| Thu, 29 Jul 2010 17:27:54 +0200 | bulwahn | adding example file for prolog code generation; adding prolog code generation example to IsaMakefile | changeset | files |
| Thu, 29 Jul 2010 17:27:52 +0200 | bulwahn | adding a mockup version for prolog code generation | changeset | files |
| Thu, 29 Jul 2010 17:27:51 +0200 | bulwahn | exporting retrieval function for graph of introduction rules in the predicate compiler core | changeset | files |
| Thu, 29 Jul 2010 15:07:52 +0200 | haftmann | merged | changeset | files |
| Thu, 29 Jul 2010 12:28:45 +0200 | haftmann | rebinding ref is illegal | changeset | files |