Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
George Pirlea
Iris
Commits
ea42f994
Commit
ea42f994
authored
Aug 24, 2017
by
Ralf Jung
Browse files
Fix spurious whitespace
Fixes #96
parent
a71965c4
Changes
1
Hide whitespace changes
Inline
Side-by-side
theories/proofmode/notation.v
View file @
ea42f994
...
...
@@ -7,7 +7,7 @@ Arguments Envs _ _%proof_scope _%proof_scope.
Arguments
Enil
{
_
}.
Arguments
Esnoc
{
_
}
_
%
proof_scope
_
%
string
_
%
uPred_scope
.
Notation
""
:
=
Enil
(
format
""
,
only
printing
)
:
proof_scope
.
Notation
""
:
=
Enil
(
only
printing
)
:
proof_scope
.
Notation
"Γ H : P"
:
=
(
Esnoc
Γ
H
P
)
(
at
level
1
,
P
at
level
200
,
left
associativity
,
format
"Γ H : P '//'"
,
only
printing
)
:
proof_scope
.
...
...
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