Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Why3
why3
Commits
5e849532
Commit
5e849532
authored
Apr 07, 2010
by
Jean-Christophe Filliâtre
Browse files
lang : commentaires (toujours pas satisfaisant)
parent
b2fa63b8
Changes
1
Hide whitespace changes
Inline
Side-by-side
share/lang/why.lang
View file @
5e849532
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE language SYSTEM "language.dtd">
<language
_name=
"
Objective Caml
"
version=
"1.0"
_section=
"Sources"
mimetypes=
"text/x-
ocaml
"
>
<language
_name=
"
Why
"
version=
"1.0"
_section=
"Sources"
mimetypes=
"text/x-
why
"
>
<escape-char>
\
</escape-char>
<block-comment
_name
=
"Comment"
style=
"Comment"
end-at-line-end
=
"FALSE"
>
<start-regex>
\(\*[^)]
</start-regex>
<block-comment
_name
=
"Comment"
style=
"Comment"
end-at-line-end
=
"FALSE"
>
<start-regex>
\(\*[^)
*
]
</start-regex>
<end-regex>
\*\)
</end-regex>
</block-comment>
...
...
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