Fri, 10 Feb 2012 23:36:02 +0100 |
haftmann |
dropped whitespace
|
changeset |
files
|
Fri, 10 Feb 2012 23:30:17 +0100 |
haftmann |
dropped dead code
|
changeset |
files
|
Fri, 10 Feb 2012 23:23:41 +0100 |
haftmann |
dropped dead code
|
changeset |
files
|
Fri, 10 Feb 2012 23:16:24 +0100 |
haftmann |
dropped dead code
|
changeset |
files
|
Fri, 10 Feb 2012 23:14:23 +0100 |
haftmann |
dropped dead code
|
changeset |
files
|
Fri, 10 Feb 2012 23:12:57 +0100 |
haftmann |
dropped dead code
|
changeset |
files
|
Fri, 10 Feb 2012 23:06:21 +0100 |
haftmann |
dropped dead code
|
changeset |
files
|
Fri, 10 Feb 2012 22:58:04 +0100 |
haftmann |
corrected typo
|
changeset |
files
|
Fri, 10 Feb 2012 22:51:21 +0100 |
haftmann |
dropped dead code
|
changeset |
files
|
Sun, 12 Feb 2012 22:10:33 +0100 |
haftmann |
notepad is more appropriate here
|
changeset |
files
|
Sat, 18 Feb 2012 23:43:21 +0100 |
boehmes |
corrected treatment of applications of built-in functions to higher-order terms
|
changeset |
files
|
Sat, 18 Feb 2012 23:05:31 +0100 |
krauss |
NEWS
|
changeset |
files
|
Sat, 18 Feb 2012 22:31:24 +0100 |
krauss |
merged
|
changeset |
files
|
Sat, 18 Feb 2012 09:46:58 +0100 |
krauss |
added congruence rules for Option.{map|bind}
|
changeset |
files
|
Sat, 18 Feb 2012 20:53:39 +0100 |
haftmann |
updated generated documents
|
changeset |
files
|