| commit | 211e54296532a5ecb18d948e257bfdb07913e72c | |
| author | Eric Norige <thelema314@gmail.com> | |
| Thu, 31 Jan 2008 15:32:15 +0000 (31 09:32 -0600) | ||
| committer | Eric Norige <thelema314@gmail.com> | |
| Fri, 1 Feb 2008 20:01:34 +0000 (1 14:01 -0600) | ||
| tree | 2531d74bc7a0523abe006518191417a2ce8273e0 | treesnapshot (tar.gz zip) |
| parent | fa126b84d97f5b6463b10056f2b79b05c768a7bf | commitdiff |
* add pi constant to pervasives
| stdlib/pervasives.ml | diffblobblamehistory | |
| stdlib/pervasives.mli | diffblobblamehistory |