/miniconda/pkgs/pygments-2.19.2-py313h06a4308_0/info/test/tests/snippets/promela

• 📄do.txt665 B2020-02-01 16:00
• 📄dotted-assign.txt1.1 KB2020-02-01 16:00
• 📄if.txt740 B2020-02-01 16:00
• 📄intruder.txt512 B2020-02-01 16:00
• 📄ltl.txt944 B2020-02-01 16:00
• 📄msg.txt611 B2020-02-01 16:00
• 📄skip.txt268 B2020-02-01 16:00
• 📄welfare.txt361 B2020-02-01 16:00