Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
Janno
iris-coq
Commits
c7240c72
Commit
c7240c72
authored
Oct 10, 2016
by
Ralf Jung
Browse files
docs: make Robbert happy, don't use 2 as mnemonic for "to"
parent
b918fd40
Changes
1
Hide whitespace changes
Inline
Side-by-side
docs/iris.sty
View file @
c7240c72
...
...
@@ -323,8 +323,8 @@
\newcommand
{
\step
}{
\ra
}
\newcommand
{
\lctx
}{
K
}
\newcommand
{
\toval
}{
\mathrm
{
expr
2
val
}}
\newcommand
{
\ofval
}{
\mathrm
{
val
2
expr
}}
\newcommand
{
\toval
}{
\mathrm
{
expr
\any
to
\any
val
}}
\newcommand
{
\ofval
}{
\mathrm
{
val
\any
to
\any
expr
}}
\newcommand
{
\atomic
}{
\mathrm
{
atomic
}}
\newcommand
{
\red
}{
\mathrm
{
red
}}
\newcommand
{
\Lang
}{
\Lambda
}
...
...
Write
Preview
Supports
Markdown
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