Skip to content
GitLab
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
cbca3f27
Commit
cbca3f27
authored
Oct 05, 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
b4423e1b
Changes
1
Hide whitespace changes
Inline
Side-by-side
web/manual/namespaces.xml
View file @
cbca3f27
...
...
@@ -81,8 +81,8 @@ the attribute has no namespace.
</p>
<p>
The toplevel directive
<code>
#env
</code>
causes CDuce to print, among
st
other, the current set of global bindings.
The toplevel directive
<code>
#env
</code>
causes CDuce to print, among
other
s
, the current set of global bindings.
</p>
</box>
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new 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