| 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 |
| Thu, 29 Jul 2010 12:28:45 +0200 | haftmann | tuned example | changeset | files |
| Thu, 29 Jul 2010 12:28:45 +0200 | haftmann | intermediate operation avoids invariance problem in Scala | changeset | files |
| Thu, 29 Jul 2010 12:07:09 +0200 | blanchet | merged | changeset | files |
| Thu, 29 Jul 2010 09:47:23 +0200 | blanchet | kill polymorphic "val"s | changeset | files |
| Thu, 29 Jul 2010 09:41:49 +0200 | blanchet | improved ATP error handling some more | changeset | files |
| Thu, 29 Jul 2010 00:28:57 +0200 | blanchet | shorter URL | changeset | files |
| Wed, 28 Jul 2010 23:44:18 +0200 | blanchet | mention version numbers | changeset | files |
| Wed, 28 Jul 2010 23:05:35 +0200 | blanchet | fiddled with usage text | changeset | files |
| Wed, 28 Jul 2010 23:01:27 +0200 | blanchet | handle Perl and "libwww-perl" failures more gracefully, giving the user some clues about what goes on | changeset | files |
| Thu, 29 Jul 2010 09:57:10 +0200 | haftmann | merged | changeset | files |
| Thu, 29 Jul 2010 09:57:00 +0200 | haftmann | tuned printing of applications and let cascades | changeset | files |
| Thu, 29 Jul 2010 09:56:59 +0200 | haftmann | checking Scala_imp | changeset | files |
| Thu, 29 Jul 2010 09:56:59 +0200 | haftmann | proper unit type in transformed program | changeset | files |
| Thu, 29 Jul 2010 08:16:49 +0200 | haftmann | merged | changeset | files |
| Wed, 28 Jul 2010 14:11:48 +0200 | haftmann | merged | changeset | files |
| Wed, 28 Jul 2010 12:12:32 +0200 | haftmann | tuned; added pretty numerals for code generation | changeset | files |
| Wed, 28 Jul 2010 12:12:29 +0200 | haftmann | may use `int` in Isabelle runtime environment | changeset | files |
| Wed, 28 Jul 2010 14:09:56 +0200 | haftmann | dropped dead code | changeset | files |
| Wed, 28 Jul 2010 22:18:35 +0200 | blanchet | merged | changeset | files |
| Wed, 28 Jul 2010 19:42:11 +0200 | blanchet | make Mirabelle happy | changeset | files |
| Wed, 28 Jul 2010 19:23:56 +0200 | blanchet | renamed environment variable | changeset | files |
| Wed, 28 Jul 2010 19:07:34 +0200 | blanchet | updated component name | changeset | files |
| Wed, 28 Jul 2010 19:04:59 +0200 | blanchet | consequence of directory renaming | changeset | files |
| Wed, 28 Jul 2010 19:01:34 +0200 | blanchet | rename directory | changeset | files |
| Wed, 28 Jul 2010 19:01:07 +0200 | blanchet | minor refactoring | changeset | files |
| Wed, 28 Jul 2010 18:54:18 +0200 | blanchet | minor refactoring | changeset | files |