| Tue, 31 Aug 2010 16:23:58 +0200 | haftmann | evaluate takes ml context and ml expression parameter | changeset | files |
| Tue, 31 Aug 2010 16:07:30 +0200 | haftmann | modernized; avoid pointless tinkering with structure names | changeset | files |
| Tue, 31 Aug 2010 15:21:42 +0200 | haftmann | distinguish code production and code presentation | changeset | files |
| Tue, 31 Aug 2010 15:08:04 +0200 | haftmann | dropped single_module parameter | changeset | files |
| Tue, 31 Aug 2010 14:43:27 +0200 | haftmann | tuned | changeset | files |
| Tue, 31 Aug 2010 14:21:06 +0200 | haftmann | record argument for serializers | changeset | files |
| Tue, 31 Aug 2010 14:06:20 +0200 | haftmann | tuned serializer argument interface | changeset | files |
| Tue, 31 Aug 2010 13:55:54 +0200 | haftmann | removed serializer interface redundancies | changeset | files |
| Tue, 31 Aug 2010 13:29:38 +0200 | haftmann | more coherent naming of syntax data structures | changeset | files |
| Tue, 31 Aug 2010 13:15:35 +0200 | haftmann | Code_Printer.tuplify | changeset | files |
| Tue, 31 Aug 2010 13:08:58 +0200 | haftmann | dropped legacy interfaces | changeset | files |
| Tue, 31 Aug 2010 10:00:06 +0200 | krauss | more permissive: simplification solves the goal when rhs = undefined | changeset | files |
| Mon, 30 Aug 2010 18:32:40 +0200 | haftmann | merged | changeset | files |
| Mon, 30 Aug 2010 17:20:33 +0200 | haftmann | tuned | changeset | files |
| Mon, 30 Aug 2010 16:42:54 +0200 | haftmann | tuned | changeset | files |
| Mon, 30 Aug 2010 16:33:06 +0200 | haftmann | tuned | changeset | files |
| Mon, 30 Aug 2010 16:31:38 +0200 | haftmann | tuned | changeset | files |
| Mon, 30 Aug 2010 16:25:04 +0200 | haftmann | tuned file interface | changeset | files |
| Mon, 30 Aug 2010 16:21:47 +0200 | haftmann | tuned | changeset | files |
| Mon, 30 Aug 2010 16:17:10 +0200 | haftmann | eliminated some obscure higher-order arguments | changeset | files |
| Mon, 30 Aug 2010 16:11:09 +0200 | haftmann | trailing newline by default | changeset | files |
| Mon, 30 Aug 2010 16:00:41 +0200 | haftmann | width is a formal parameter of serialization | changeset | files |
| Mon, 30 Aug 2010 15:01:32 +0200 | haftmann | whitespace tuning | changeset | files |
| Mon, 30 Aug 2010 14:48:25 +0200 | haftmann | tuned comment | changeset | files |
| Mon, 30 Aug 2010 18:07:58 +0200 | blanchet | merged | changeset | files |
| Mon, 30 Aug 2010 18:07:29 +0200 | blanchet | fiddle with fact filter | changeset | files |
| Mon, 30 Aug 2010 18:07:07 +0200 | blanchet | adjust Mirabelle | changeset | files |
| Mon, 30 Aug 2010 17:14:54 +0200 | blanchet | rule out low-level class facts | changeset | files |
| Mon, 30 Aug 2010 15:39:41 +0200 | blanchet | make Sledgehammer's relevance filter somewhat slacker | changeset | files |
| Mon, 30 Aug 2010 15:39:27 +0200 | blanchet | move imperative code to where it belongs | changeset | files |