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
c712fefa
Commit
c712fefa
authored
Jul 10, 2007
by
Pietro Abate
Browse files
[r2004-10-23 14:52:43 by afrisch] Empty log message
Original author: afrisch Date: 2004-10-23 14:52:43+00:00
parent
d7b65809
Changes
1
Hide whitespace changes
Inline
Side-by-side
web/index.xml
View file @
c712fefa
...
...
@@ -14,7 +14,7 @@
<pages-toc/>
</left>
<external
href=
"/cgi-bin/cduce"
title=
"Online demo"
name=
"proto"
/>
<external
href=
"
http://reglisse.ens.fr
/cgi-bin/cduce"
title=
"Online demo"
name=
"proto"
/>
<include
file=
"download.xml"
/>
<include
file=
"bench.xml"
/>
<include
file=
"papers.xml"
/>
...
...
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