Re: [Sks-devel] patch to fix common.ml generation/compilation (1.0.5)

[Yaron M. Minsky]

On Wed, 2003-12-03 at 11:15, Fabio Massimo Di Nitto wrote:
> On Wed, 3 Dec 2003, Yaron M. Minsky wrote:
> 
> > Thanks, but that one is already fixed in latest CVS version.  I hope to
> > release 1.0.6 in the next couple of days.
> >
> 
> Hi again,
>       i can see that the compilation part is fixed, but wouldn't be a
> good idea to wipe away common.ml in clean: and from the repository and let
> make creating it when appropriate?

Good idea.   I'll make that change.

> Thanks
> Fabio
-- 
|--------/            Yaron M. Minsky              \--------|
|--------\ http://www.cs.cornell.edu/home/yminsky/ /--------|

Open PGP --- KeyID B1FFD916
Fingerprint: 5BF6 83E1 0CE3 1043 95D8 F8D5 9F12 B3A9 B1FF D916