Skip to content
Snippets Groups Projects
Iris

Iris

Star 0
Project ID: 2822
Select Git revision
0 results
Forked from Iris / Iris
Loading
Ralf Jung's avatar
Merge branch 'unicode_asterisk_in_docs' into 'master'
Ralf Jung authored 
Added note about unicode asterisk to docs

See merge request FP/iris-coq!203
455fec93
History
Ralf Jung's avatar 455fec93
History
Name Last commit Last update