Directory listing for /miniconda3/pkgs/pygments-2.20.0-py314h06a4308_0/info/test/tests/examplefiles/isabelle/

• example_ascii.thy
• example_ascii.thy.output
• example_unicode.thy
• example_unicode.thy.output