| Thu, 06 Jan 2005 05:15:26 +0100 | kleing | suggestions by Jeremy Siek | changeset | files |
| Thu, 06 Jan 2005 03:00:58 +0100 | kleing | use ISO date format | changeset | files |
| Tue, 04 Jan 2005 04:06:29 +0100 | kleing | added list_all_rev | changeset | files |
| Wed, 22 Dec 2004 11:36:33 +0100 | nipkow | [ .. (] -> [ ..< ] | changeset | files |
| Mon, 20 Dec 2004 18:25:22 +0100 | nipkow | *** empty log message *** | changeset | files |
| Sat, 18 Dec 2004 17:14:33 +0100 | schirmer | added simproc for Let | changeset | files |
| Sat, 18 Dec 2004 17:12:45 +0100 | schirmer | added print translation for split: split f --> %(x,y). f x y | changeset | files |
| Sat, 18 Dec 2004 17:10:49 +0100 | schirmer | Syntax: last premise of "_bigimpl" is wrapped with "_asm", to have a hook for | changeset | files |