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
558a3812
Commit
558a3812
authored
Jul 10, 2007
by
Pietro Abate
Browse files
[r2003-07-25 18:14:35 by cvscast] Typo
Original author: cvscast Date: 2003-07-25 18:14:35+00:00
parent
2f08a5c3
Changes
1
Show whitespace changes
Inline
Side-by-side
web/manual/namespaces.xml
View file @
558a3812
...
@@ -81,8 +81,8 @@ the attribute has no namespace.
...
@@ -81,8 +81,8 @@ the attribute has no namespace.
</p>
</p>
<p>
<p>
The toplevel directive
<code>
#env
</code>
causes CDuce to print, among
st
The toplevel directive
<code>
#env
</code>
causes CDuce to print, among
other, the current set of global bindings.
other
s
, the current set of global bindings.
</p>
</p>
</box>
</box>
...
...
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