Index of /miniconda3/pkgs/pygments-2.19.2-py313h06a4308_0/info/test/tests/snippets/promela/

../
do.txt                                             02-Feb-2020 00:00                 665
dotted-assign.txt                                  02-Feb-2020 00:00                1120
if.txt                                             02-Feb-2020 00:00                 740
intruder.txt                                       02-Feb-2020 00:00                 512
ltl.txt                                            02-Feb-2020 00:00                 944
msg.txt                                            02-Feb-2020 00:00                 611
skip.txt                                           02-Feb-2020 00:00                 268
welfare.txt                                        02-Feb-2020 00:00                 361