Skip to content

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

docs: atomic(...) consistent with Coq

parent 0816b3de
Pipeline #333 passed with stage
    Hide whitespace changes
    Inline Side-by-side
    Showing with 1 addition and 1 deletion
    docs/iris.sty
    View file @ 04d3ee68
    ......@@ -292,7 +292,7 @@
    %% Some commonly used identifiers
    \newcommand{\timeless}[1]{\textlog{timeless}(#1)}
    \newcommand{\physatomic}[1]{\textlog{$#1$ phys.\ atomic}}
    \newcommand{\physatomic}[1]{\textlog{atomic}($#1$)}
    \newcommand{\infinite}{\textlog{infinite}}
    \newcommand{\Prop}{\textlog{Prop}}
    ......
    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