Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
OcaIDE: a new Eclipse plug-in for O'Caml
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Christophe Raffalli <christophe.raffalli@u...>
Subject: Re: [Caml-list] OcaIDE: a new Eclipse plug-in for O'Caml

>> - I use darcs, there is an eclipsedarcs project, but it seems
>> incompatible with OCalIDE, the message being:
>> Project 'test' contains linked URIs but
>> the'org.eclipsedarcs.core.repository.DarcsProvider' repository provider
>> does not supported them.
> Don't know if this will help but the last issue looks a bit like
> something I have experienced with SVN (Subversion). I don't think it has
> anything to do with the OcalIDE plug-in. Did you create a local or
> remote repository (don't know if this makes sense in darcs). It seems
> like the darcs plug-in does not allow for remote access to remote
> repositories.
> Just to test this, create a Java project and see if you have the same
> problem.

No problem with a new java project.

Remarks: the repository in darcs is always local
for darcs. You can then choose to "pull" patches from someone else
repository or to "push" your patches to a central repository (if
you have write access to it), but the existence
of a central repository is not mandatory in darcs (even if it becomes necessary
when the number of developers really doing modifications at the same time is growing ...)


> HTHs,
> Hugo F.
>> Cheers,
> _______________________________________________
> Caml-list mailing list. Subscription management:
> Archives:
> Beginner's list:
> Bug reports:

Christophe Raffalli
Université de Savoie
Batiment Le Chablais, bureau 21
73376 Le Bourget-du-Lac Cedex

tél: (33) 4 79 75 81 03
fax: (33) 4 79 75 87 42
IMPORTANT: this mail is signed using PGP/MIME
At least Enigmail/Mozilla, mutt or evolution
can check this signature. The public key is
stored on