Skip to content

Commit

Permalink
Update index.html
Browse files Browse the repository at this point in the history
  • Loading branch information
@fornaran
fornaran authored Aug 8, 2024
1 parent 31f8f69 commit 45bb451
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion formal-semantics/index.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -535,7 +535,7 @@ <h4>Examples (Permission with duties)</h4>
</table>
<br><br>

<b>Time evolution of the Permission</b><br>
<b>Evaluation of the Permission</b><br>
The Permission is active if its Duty is fulfilled, otherwise it is inactive.<br><br>

<b>Acces control scenario</b>:
Expand Down

0 comments on commit 45bb451

Please sign in to comment.