chroma/lexers/testdata/promela
2025-03-22 20:46:00 +13:00
..
calc.actual Added lexars 2025-03-22 20:46:00 +13:00
calc.expected Added lexars 2025-03-22 20:46:00 +13:00
do.actual Added lexars 2025-03-22 20:46:00 +13:00
do.expected Added lexars 2025-03-22 20:46:00 +13:00
dotted-assign.actual Added lexars 2025-03-22 20:46:00 +13:00
dotted-assign.expected Added lexars 2025-03-22 20:46:00 +13:00
if.actual Added lexars 2025-03-22 20:46:00 +13:00
if.expected Added lexars 2025-03-22 20:46:00 +13:00
intruder.actual Added lexars 2025-03-22 20:46:00 +13:00
intruder.expected Added lexars 2025-03-22 20:46:00 +13:00
ltl.actual Added lexars 2025-03-22 20:46:00 +13:00
ltl.expected Added lexars 2025-03-22 20:46:00 +13:00
msg.actual Added lexars 2025-03-22 20:46:00 +13:00
msg.expected Added lexars 2025-03-22 20:46:00 +13:00
sample.actual Added lexars 2025-03-22 20:46:00 +13:00
sample.expected Added lexars 2025-03-22 20:46:00 +13:00
skip.actual Added lexars 2025-03-22 20:46:00 +13:00
skip.expected Added lexars 2025-03-22 20:46:00 +13:00
welfare.actual Added lexars 2025-03-22 20:46:00 +13:00
welfare.expected Added lexars 2025-03-22 20:46:00 +13:00