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
d68f1ff3
Commit
d68f1ff3
authored
Oct 05, 2007
by
Pietro Abate
Browse files
[r2003-07-07 14:53:42 by cvscast] Empty log message
Original author: cvscast Date: 2003-07-07 14:54:21+00:00
parent
e7bc3ad5
Changes
1
Hide whitespace changes
Inline
Side-by-side
web/index.xml
View file @
d68f1ff3
...
...
@@ -21,6 +21,7 @@
<include
file=
"examples.xml"
/>
<include
file=
"team.xml"
/>
<include
file=
"manual.xml"
/>
<include
file=
"mailing.xml"
/>
<include
file=
"sitemap.xml"
/>
...
...
@@ -66,9 +67,9 @@ our <local href="papers">technical papers</local>.
<section
title=
"Getting more information"
>
<p>
If you want more information about CDuce
, or if
you
w
an
t to join the
CDuce users mailing list, you can send a mail to
<tt>
info_at_cduce.org
</tt>
(replace
<tt>
_at_
</tt>
with
<tt>
@
</tt>
)
.
If you want more information about CDuce you
c
an
send a mail to
<tt>
info_at_cduce.org
</tt>
(replace
<tt>
_at_
</tt>
with
<tt>
@
</tt>
), or
to the most appropriate
<a
href=
"mailing.html"
>
CDuce mailing list
</a>
.
</p>
</section>
...
...
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