Sat, 27 Oct 2007 18:37:06 +0200 adapted Compute...
obua [Sat, 27 Oct 2007 18:37:06 +0200] rev 25216
adapted Compute...
Sat, 27 Oct 2007 15:53:23 +0200 use "fun" for definition of "member" -> authentic syntax
krauss [Sat, 27 Oct 2007 15:53:23 +0200] rev 25215
use "fun" for definition of "member" -> authentic syntax
Sat, 27 Oct 2007 12:48:44 +0200 ASCIIfied README
haftmann [Sat, 27 Oct 2007 12:48:44 +0200] rev 25214
ASCIIfied README
Sat, 27 Oct 2007 12:48:24 +0200 added list comprehension syntax
haftmann [Sat, 27 Oct 2007 12:48:24 +0200] rev 25213
added list comprehension syntax
Fri, 26 Oct 2007 22:10:44 +0200 locale_const: in_class workaround prevents additional locale version of class consts;
wenzelm [Fri, 26 Oct 2007 22:10:44 +0200] rev 25212
locale_const: in_class workaround prevents additional locale version of class consts;
Fri, 26 Oct 2007 22:10:43 +0200 notation: associate syntax to checked-unchecked term;
wenzelm [Fri, 26 Oct 2007 22:10:43 +0200] rev 25211
notation: associate syntax to checked-unchecked term;
Fri, 26 Oct 2007 22:10:42 +0200 export class_prefix;
wenzelm [Fri, 26 Oct 2007 22:10:42 +0200] rev 25210
export class_prefix; removed obsolete const hiding;
Fri, 26 Oct 2007 21:22:20 +0200 tuned
haftmann [Fri, 26 Oct 2007 21:22:20 +0200] rev 25209
tuned
Fri, 26 Oct 2007 21:22:19 +0200 changed order of class parameters
haftmann [Fri, 26 Oct 2007 21:22:19 +0200] rev 25208
changed order of class parameters
Fri, 26 Oct 2007 21:22:18 +0200 dropped square syntax
haftmann [Fri, 26 Oct 2007 21:22:18 +0200] rev 25207
dropped square syntax
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip