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
Marianna Rapoport
iris-coq
Commits
14258ee6
Commit
14258ee6
authored
Mar 15, 2016
by
Ralf Jung
Browse files
docs: title
parent
22c9ef29
Changes
1
Show whitespace changes
Inline
Side-by-side
docs/iris.tex
View file @
14258ee6
...
...
@@ -17,7 +17,7 @@
\begin{document}
\title
{
\bfseries
The Iris Documentation
}
\title
{
\bfseries
The Iris
2.0
Documentation
}
%\author{The Iris Team}
\maketitle
...
...
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