Skip to content
GitLab
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
84693017
Commit
84693017
authored
Jul 10, 2007
by
Pietro Abate
Browse files
[r2004-07-05 14:49:25 by afrisch] update web for 0.2.0
Original author: afrisch Date: 2004-07-05 14:49:25+00:00
parent
3a0f2b83
Changes
2
Hide whitespace changes
Inline
Side-by-side
web/download.xml
View file @
84693017
...
...
@@ -6,19 +6,27 @@
<box
title=
"Sources tarballs"
link=
"src"
>
<p>
The
only
available version for download is
a beta
release. We
successfully compiled it on on Intel Linux, SunOS
5.7, Mac OSX, Windows XP, and FreeBSD 4.7
The
latest
available version for download is
the 0.2.0
release. We
successfully compiled it on on Intel Linux, SunOS
5.7, Mac OSX, Windows XP, and FreeBSD 4.7
</p>
<ul>
<li><a
href=
"download/cduce-0.1.1.tar.gz"
>
Version 0.1.1 (for OCaml
3.06)
</a></li>
<li><a
href=
"download/cduce-0.1.1-ocaml307.tar.gz"
>
Version 0.1.1 (for
<li><a
href=
"download/cduce-0.2.0.tar.gz"
>
Version 0.2.0 (for
OCaml 3.07)
</a></li>
<li><a
href=
"download/cduce-0.1.1.tar.gz"
>
Version 0.1.1 (old release,
for OCaml 3.06)
</a></li>
</ul>
<p>
See
<a
href=
"CHANGES"
>
recent changes
</a>
(including those of the CVS version).
See
<a
href=
"CHANGES"
>
recent changes
</a>
(including those of the CVS
version), and
<a
href=
"INSTALL"
>
build instructions
</a>
.
</p>
<p>
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.
</p>
</box>
...
...
@@ -49,6 +57,7 @@ read the instructions in the <a href="INSTALL">INSTALL</a> file included in the
repository.
</p>
<!--
<p>
To help Linux users try the CVS version, we regularly prepare
a version of CDuce statically compiled on a Linux box:
...
...
@@ -57,6 +66,7 @@ a version of CDuce statically compiled on a Linux box:
<ul>
<li><a href="download/cduce-cvs-linux-static.tar.gz">Static binary version for Linux</a> (compiled from a recent CVS snapshot)</li>
</ul>
-->
</box>
...
...
web/index.xml
View file @
84693017
...
...
@@ -52,8 +52,24 @@ the content by <a href="examples.html#site">the following CDuce program</a>.
</p><p><img
src=
"img/cducepower.jpg"
alt=
"Powered by CDuce"
/></p>
</left>
<!--
<box
title=
"Latest News"
link=
"news"
>
<section
title=
"2004, July 5th, Monday: CDuce 0.2.0 is out !"
>
<p>
The long-awaited CDuce 0.2.0 is out. 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 select the
<tt>
apps-cduce
</tt>
package to
install CDuce 0.2.0.
</p>
<p>
Enjoy !
</p>
</section>
<!--
<section title="2003, December 8th, Monday: New addition to papers.">
<p>
A paper on the optimized implementation of pattern matching
...
...
@@ -104,8 +120,8 @@ information.
</p>
<br/>
</section>
</box>
-->
</box>
<box
title=
"What is CDuce ?"
link=
"whatis"
>
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new 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