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
b822be4a
Commit
b822be4a
authored
Oct 05, 2007
by
Pietro Abate
Browse files
[r2003-09-25 20:48:04 by cvscast] Empty log message
Original author: cvscast Date: 2003-09-25 20:49:47+00:00
parent
b44eb5b0
Changes
4
Hide whitespace changes
Inline
Side-by-side
web/download.xml
View file @
b822be4a
<?xml version="1.0" encoding="ISO-8859-1" standalone="yes"?>
<page
name=
"download"
new=
""
>
<page
name=
"download"
>
<title>
Download
</title>
...
...
web/manual.xml
View file @
b822be4a
...
...
@@ -8,6 +8,14 @@
<include
file=
"manual/types_patterns.xml"
/>
<include
file=
"manual/expressions.xml"
/>
<include
file=
"manual/namespaces.xml"
/>
<left>
<p>
This Guide describes every construction of CDuce.
</p>
<pages-toc/>
<p>
See also:
</p>
<local-links
href=
"index,tutorial,memento,papers"
/>
</left>
<box
title=
"Table of Contents"
link=
"toc"
>
<p><b>
This manual is under construction !
</b></p>
...
...
web/memento.xml
View file @
b822be4a
...
...
@@ -7,7 +7,7 @@
<p>
This page briefly presents the syntax of the CDuce language.
</p>
<boxes-toc/>
<p>
See also:
</p>
<local-links
href=
"index,proto,papers"
/>
<local-links
href=
"index,proto,
manual,tutorial,
papers"
/>
</left>
<box
title=
"Identifiers"
link=
"id"
>
...
...
web/tutorial.xml
View file @
b822be4a
...
...
@@ -11,11 +11,14 @@
<include
file=
"tutorial/errors.xml"
/>
<left>
<p>
This
page
is a step-by-step introduction to CDuce.
This
tutorial
is a step-by-step introduction to CDuce.
</p>
<pages-toc/>
<p>
See also:
</p>
<local-links
href=
"index,memento,manual,papers"
/>
</left>
<box
title=
"Tutorial Index"
link=
"tut"
>
<p><b>
This tutorial is under construction!
</b></p>
<p>
Sections:
</p>
...
...
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