Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
cduce
cduce
Commits
22558668
Commit
22558668
authored
Oct 05, 2007
by
Pietro Abate
Browse files
[r2006-10-03 15:49:42 by afrisch] Empty log message
Original author: afrisch Date: 2006-10-03 15:49:42+00:00
parent
c4ea7340
Changes
2
Hide whitespace changes
Inline
Side-by-side
web/download.xml
View file @
22558668
...
...
@@ -13,6 +13,8 @@ successfully compiled it on on Intel Linux, SunOS 5.7, Mac OSX, -->
</p>
<ul>
<li><a
href=
"download/cduce-0.4.1.tar.gz"
>
Version 0.4.1 (for
OCaml 3.09)
</a></li>
<li><a
href=
"download/cduce-0.4.0.tar.gz"
>
Version 0.4.0 (for
OCaml 3.09)
</a></li>
<li><a
href=
"download/cduce-0.3.92.tar.gz"
>
Version 0.3.92 (for
...
...
@@ -39,8 +41,8 @@ The simplest way to compile and install CDuce is probably to
use the
<a
href=
"http://www.ocaml-programming.de/godi/"
>
GODI distribution
</a>
, and to select the
<tt>
apps-cduce
</tt>
package.
There is also a
<tt>
apps-cduce-cvs
</tt>
package which synchronize
itself with the CDuce CVS
development tree.
An option in this package allows you to use the current CVS
development tree
instead
.
</p>
</box>
...
...
@@ -65,9 +67,10 @@ of the CVS tree.
</p>
<p>
Another way to follow the development in the CVS is to is the
<tt>
apps-cduce-cvs
</tt>
<a
href=
"http://www.ocaml-programming.de/godi/"
>
GODI
</a>
package.
Another way to follow the development in the CVS is to use
the
<tt>
apps-cduce
</tt>
<a
href=
"http://www.ocaml-programming.de/godi/"
>
GODI
</a>
package
and to set the
<tt>
APPS_CDUCE_CVS_CHECKOUT
</tt>
to
<tt>
yes
</tt>
.
</p>
</box>
...
...
web/index.xml
View file @
22558668
...
...
@@ -43,6 +43,18 @@ by <a href="examples.html#site">a CDuce program</a>.
</left>
<box
title=
"Latest News"
link=
"news"
>
<section
title=
"2006, Oct 2nd, Sunday: CDuce 0.4.1 is out!"
>
<p>
See the
<local
href=
"download"
/>
page for download information, or the
<a
href=
"CHANGES"
>
CHANGES
</a>
file to know what's new.
</p>
<p>
GODI users can simply update their
<tt>
apps-cduce
</tt>
package.
</p>
</section>
<section
title=
"2006, May 4th, Tuesday: RPM packages available"
>
<p>
An RPM package for cduce is available in the
<local
href=
"download"
/>
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment