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
0158b830
Commit
0158b830
authored
Jul 10, 2007
by
Pietro Abate
Browse files
[r2005-06-15 13:31:48 by afrisch] Empty log message
Original author: afrisch Date: 2005-06-15 13:31:48+00:00
parent
19f18074
Changes
1
Hide whitespace changes
Inline
Side-by-side
web/appli.xml
View file @
0158b830
...
...
@@ -25,7 +25,7 @@ secours</a>.</li>
</section>
<section
title=
"CDuce
used
in scientific research projects"
>
<section
title=
"CDuce in scientific research projects"
>
<p>
Several research papers mention the use of CDuce.
...
...
@@ -41,7 +41,7 @@ Exploration</a>.</li>
</section>
<section
title=
"CDuce
used
in software projects or libraries"
>
<section
title=
"CDuce in software projects or libraries"
>
<ul>
<li><a
href=
"http://www.demexp.org"
>
The Demexp project
</a>
.
</li>
...
...
@@ -51,7 +51,7 @@ href="http://caml.inria.fr/pub/ml-archives/caml-list/2005/06/de1ec925a81313be4cf
</section>
<section
title=
"CDuce
used
to create personal home pages"
>
<section
title=
"CDuce to create personal home pages"
>
<ul>
<li><a
href=
"http://www.lri.fr/~benzaken/"
>
Vronique Benzaken
</a>
.
</li>
...
...
@@ -63,7 +63,7 @@ Miachon</a>.</li>
</section>
<section
title=
"CDuce
used
for teaching"
>
<section
title=
"CDuce for teaching"
>
<ul>
<li>
The
<a
href=
"http://ctp.di.fct.unl.pt/lei/ltpa/"
>
...
...
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