Agda-2.3.2.2: src/transl/agda/config.h
/* src/config.h. Generated by configure. */ /* #undef PLUGINS */ /* #undef DYNAMIC_PLUGINS */ #define NEWSYNTAX 1 /* #undef __WINDOWS__ */
/* src/config.h. Generated by configure. */ /* #undef PLUGINS */ /* #undef DYNAMIC_PLUGINS */ #define NEWSYNTAX 1 /* #undef __WINDOWS__ */