$include_dir="/home/hyper-archives/boost/include"; include("$include_dir/msg-header.inc") ?>
From: Jeff Garland (jeff_at_[hidden])
Date: 2005-08-28 11:03:14
On Sat, 27 Aug 2005 20:37:19 +0200, Yuval Ronen wrote
> "proleptic" was misspelled as "propleptic".
Thx - fixed in CVS.
Jeff