Search
Images
Maps
Play
YouTube
News
Gmail
Drive
More
Calendar
Translate
Mobile
Books
Offers
Wallet
Shopping
Blogger
Finance
Photos
Videos
Even more »
Account Options
Sign in
Help
The old Google Groups will be going away soon, but your
browser is incompatible
with the new version.
Advanced Groups Search
Preferences
Stats
r
...
@annexia.org
Name:
Location:
Title:
Industry:
Email address:
r
...
@annexia.org
Website or Blog:
Quote:
About me:
Recent Activity:
Activity in
All 27 Groups -- 2160 messages
fa.caml (1368)
AdWords API Forum (468)
linux.debian.maint.ocaml.maint (176)
bitstring (46)
linux.debian.bugs.dist (34)
3dfx.glide.linux (9)
netscape.public.dev.xul (7)
mailing.database.pgsql-sql (6)
pgsql.sql (6)
nlo.lists.linux-utf8 (5)
pgsql.interfaces (4)
linux.debian.ports.sparc (4)
comp.lang.perl.modules (3)
pgsql.general (3)
netscape.public.mozilla.builds (3)
linux.debian.bugs.rc (2)
comp.os.linux.announce (2)
netscape.public.mozilla.editor (2)
linux.debian.devel.mentors (2)
perl.modules (2)
gnu.glibc.bug (2)
uk.comp.os.linux (1)
comp.databases.postgresql.general (1)
muc.lists.postgres.questions (1)
mailing.unix.bugtraq (1)
3dfx.linux.apps.games (1)
muc.lists.bugtraq (1)
Implementation for a (nearly) typesafe shallow option ...
May 8 2012
Strategies for finding memory leaks
Apr 1 2012
Native dynlink and reloading modules
Mar 22 2012
[oss-security] CVE request: Hash DoS ...
Mar 13 2012
Fwd: interval trees
Feb 10 2012
deriving
Jan 29 2012
Compiling the ocaml distribution under multiarched ...
Jan 13 2012
Understanding usage by the runtime
Jan 9 2012
Examples where let rec is undesirable
Jan 5 2012
Questions about OCaml and google native client
Dec 21 2011
Show all »
Post Activity
Jan
Feb
Mar
Apr
May
Jun
Jul
Aug
Sep
Oct
Nov
Dec
2003
1
1
6
3
15
20
27
31
26
32
12
2004
28
18
24
46
27
22
22
33
25
18
13
13
2005
13
25
23
14
15
18
10
10
3
5
18
8
2006
8
11
6
3
6
4
13
9
3
7
6
19
2007
4
6
12
8
22
14
12
26
7
11
14
8
2008
12
15
23
32
43
15
20
20
16
9
25
12
2009
20
10
15
5
7
11
3
5
19
12
7
6
2010
15
9
7
1
2
1
6
5
2
5
7
2011
1
4
2
1
7
6
4
2012
11
2
8
2
8
10
6
1
5
1
2013
3
Create a group
-
Google Groups
-
Google Home
-
Terms of Service
-
Privacy Policy
©2013 Google