| Thu, 06 Oct 2005 08:58:58 +0200 | haftmann | adjusted sydney to new website | changeset | files |
| Thu, 06 Oct 2005 08:56:15 +0200 | haftmann | changed sydney share | changeset | files |
| Wed, 05 Oct 2005 19:28:12 +0200 | wenzelm | added Poplog/PML version 15.6/2.1 (experimental!); | changeset | files |
| Wed, 05 Oct 2005 18:38:43 +0200 | haftmann | added fold_nodes, map_node_yield | changeset | files |
| Wed, 05 Oct 2005 18:38:28 +0200 | haftmann | added merge, tuned | changeset | files |
| Wed, 05 Oct 2005 14:01:32 +0200 | nipkow | added last in set lemma | changeset | files |
| Wed, 05 Oct 2005 11:18:06 +0200 | paulson | improved process handling. tidied | changeset | files |
| Wed, 05 Oct 2005 10:56:06 +0200 | paulson | more signals | changeset | files |
| Tue, 04 Oct 2005 23:39:42 +0200 | nipkow | new hd/rev/last lemmas | changeset | files |
| Tue, 04 Oct 2005 23:30:46 +0200 | nipkow | new lemmas | changeset | files |
| Tue, 04 Oct 2005 21:39:16 +0200 | wenzelm | added compiler and runtime options; | changeset | files |
| Tue, 04 Oct 2005 21:33:09 +0200 | wenzelm | Poplog/PML startup script. | changeset | files |