| Tue, 16 Jun 2009 15:25:32 +0200 | wenzelm | Efficient scanning of literals. | changeset | files |
| Mon, 15 Jun 2009 21:33:27 +0200 | wenzelm | merged | changeset | files |
| Mon, 15 Jun 2009 21:17:34 +0200 | wenzelm | override toplevel "use" functions last; | changeset | files |
| Mon, 15 Jun 2009 17:36:49 +0200 | wenzelm | made SML/NJ happy; | changeset | files |
| Mon, 15 Jun 2009 21:28:04 +0200 | haftmann | Quickcheck.random | changeset | files |
| Mon, 15 Jun 2009 16:13:19 +0200 | haftmann | authentic syntax for Pow and image | changeset | files |
| Mon, 15 Jun 2009 16:13:04 +0200 | haftmann | permissive code attribute; all_eqns | changeset | files |
| Mon, 15 Jun 2009 16:13:03 +0200 | haftmann | hide constant Quickcheck.random | changeset | files |
| Mon, 15 Jun 2009 11:01:18 +0200 | wenzelm | more parallel stats; | changeset | files |
| Mon, 15 Jun 2009 10:58:05 +0200 | wenzelm | merged | changeset | files |
| Mon, 15 Jun 2009 09:43:30 +0200 | haftmann | made SML/NJ happy | changeset | files |
| Mon, 15 Jun 2009 08:16:09 +0200 | haftmann | skip_proof not operative here | changeset | files |
| Mon, 15 Jun 2009 08:16:08 +0200 | haftmann | where there is nothing, nothing can be hidden | changeset | files |
| Sun, 14 Jun 2009 17:20:19 +0200 | haftmann | axclass command now legacy | changeset | files |
| Sun, 14 Jun 2009 17:20:19 +0200 | haftmann | using skip_proof where appropriate | changeset | files |
| Sun, 14 Jun 2009 17:20:19 +0200 | haftmann | dropped select_default | changeset | files |