Skip to content
Snippets Groups Projects
user avatar
Robbert Krebbers authored
The tactic `iFrame` frames the spatial context in order, it does not do repeat
`iFrame anyHyp`. As a result, when you have evars, things become ambigious
0758845e
History
Name Last commit Last update
..