Reply to comment

darcs repo fixed

30 July 2007 - 7:47pm — abate

I've fixed my darcs repo:
http://web-cduce.pps.jussieu.fr/cgi-bin/darcsweb.cgi

Now I've the old one (broken) that I'll remove soon, a working one based on cduce 0.4.2 where I keep my patches and a repo of cduce 0.5.0 without my patches, that I'll hopefully merge soon.

I'll keep working with cduce 0.4.2 for the moment as cduce 0.5.0 requires the ocaml 3.10 that is still in experimental in debian.

Add new comment

Reply

Your name:

E-mail:

The content of this field is kept private and will not be shown publicly.

Homepage:

Comment: *

Input format

Filtered HTML

Web page addresses and e-mail addresses turn into links automatically.
Allowed HTML tags: <a> <em> <strong> <cite> <code> <ul> <ol> <li> <dl> <dt> <dd>
Lines and paragraphs break automatically.

blog

You can use Mediawiki syntax. It is possible that not all formatting options are supported at the moment.
Links to other pages: [[Page Title]] or [[path/to/page|Title]].
External links: http://example.com or [http://example.com some link title].
Interwiki links: [[site:Page Title]].
You can use the following interwiki links: path, gdo, wp
Images are included with [[Image:name]]. (wikipedia help)
You can enable syntax highlighting of source code with the following tags: <code>, <blockcode>. The supported tag styles are: <foo>, [foo].

More information about formatting options

CAPTCHA

This question is for testing whether you are a human visitor and to prevent automated spam submissions.

Enter the code above: *

Enter the code without spaces and pay attention to upper/lower case.

Pietro Abate homepage

Reply to comment

darcs repo fixed

Reply

Search

Recent comments