| Tue, 28 Aug 2007 23:53:07 +0200 | krauss | fixed pattern comnpletion; untabified | changeset | files |
| Tue, 28 Aug 2007 20:13:47 +0200 | huffman | revert to Word library version from 2007/08/20 | changeset | files |
| Tue, 28 Aug 2007 19:45:45 +0200 | wenzelm | TheoremHook: fixed copy-paste mistake; | changeset | files |
| Tue, 28 Aug 2007 18:26:48 +0200 | berghofe | Smaller size and fewer iterations for quickcheck. | changeset | files |
| Tue, 28 Aug 2007 18:24:34 +0200 | berghofe | codegen.ML is now loaded in Pure again. | changeset | files |
| Tue, 28 Aug 2007 18:23:59 +0200 | berghofe | Changed "code" attribute of concat_map_singleton to "code unfold". | changeset | files |
| Tue, 28 Aug 2007 18:21:53 +0200 | berghofe | Code generator now uses sequences with depth limit. | changeset | files |