# Generated by CMake. Changes will be overwritten.
/builddir/build/BUILD/TeXmacs-2.1-src/plugins/coq/src/tm_coq.c
/builddir/build/BUILD/TeXmacs-2.1-src/plugins/coq/src/pico_xml.h
/builddir/build/BUILD/TeXmacs-2.1-src/plugins/coq/src/pico_xml.c
