Skip to content

GitLab

I
Iris
Commit dc1a177c authored by Ralf Jung's avatar Ralf Jung
Browse files
Options

preparations for describing agreement in The Iris Documentation

parent 25118e82
Pipeline #193 passed with stage
    Expand all Hide whitespace changes
    Inline Side-by-side
    Showing with 377 additions and 379 deletions
    docs/constructions.tex
    View file @ dc1a177c
    This diff is collapsed.
    docs/iris.tex
    View file @ dc1a177c
    ......@@ -36,8 +36,8 @@
    \clearpage\begingroup
    \input{algebra}
    \endgroup\clearpage\begingroup
    \input{constructions}
    % temporarily disabled, to generate the Iris 2.0 appendix
    %\input{constructions}
    %\endgroup\clearpage\begingroup
    %\input{logic}
    %\endgroup\clearpage\begingroup
    ......@@ -46,5 +46,6 @@
    %\input{derived}
    %\endgroup\clearpage\begingroup
    \printbibliography
    \endgroup
    \end{document}
    Markdown is supported
    0% or
    You are about to add 0 people to the discussion. Proceed with caution.
    Finish editing this message first!
    Please register or to comment