Commit Graph

3 Commits

Author SHA1 Message Date
jcamiel
0b761c49ad
Remove uncessay span around : and =. 2023-04-17 13:05:34 +02:00
jcamiel
4963821c23
Update HTML exports. 2023-04-11 17:28:28 +02:00
Rached Mejri
48447ce744
Implement isEmpty predicate
Signed-off-by: Rached Mejri <rached.mejri@orange.com>
2023-03-13 10:11:47 +01:00