/editors/TeXmacs/patches/
../
patch-aa
patch-ab
patch-ac
patch-ad
patch-ae
patch-ag
patch-ai
patch-aj
patch-ak
patch-al
patch-src_Kernel_Abstractions_basic.hpp
patch-src_Kernel_Types_tree.hpp
patch-src_Typeset_boxes.hpp